Výsledky vyhľadávania - logic programming and answer sept programming~

ChatGPT for PLC/DCS Control Logic Generation Autor Koziolek, Heiko, Gruener, Sten, Ashiwal, Virendra

“… Researchers have explored GitHub CoPilot or DeepMind AlphaCode for source code generation but did not yet tackle control logic programming…”
Získať plný text

Application of Fuzzy Answer set Programming in Hybrid Deep Neural-Symbolic Architecture Autor Paul, Sandip, Ray, Kumar Sankar, Saha, Diganta

“… The currently known hybrid architectures use classical Answer Set Programming(ASP), which is unable to perform fuzzy reasoning with uncertainty…”
Získať plný text

DeepTelos Demonstration Autor Jeusfeld, Manfred A.

“…DeepTelos is defined as a set of rules and constraints that enable multi-level modeling for the Telos metamodeling language. In its ConceptBase implementation,…”
Získať plný text

A Proposal of Constant Modification Problem for Beginners to Start Scratch Programming Autor Lu, Xiqin, Funabiki, Nobuo, Aung, Soe Thandar, Kao, Wen-Chung

“…Scratch is a block-based programming language developed by MIT, that can easily create digital stories, games and interactive animations…”
Získať plný text

Personalized Learner Assistance Through Dynamic Adaptation of Chatbot Using Fuzzy Logic Knowledge Modeling Autor Troussas, Christos, Krouska, Akrivi, Mylonas, Phivos, Sgouropoulou, Cleo

“… This paper introduces a novel approach for addressing challenges in providing tailored support by utilizing chatbot technology and the flexibility of fuzzy logic…”
Získať plný text

Crowdsourced Linked Data Question Answering with AQUACOLD Autor Collis, Nicholas, Frommholz, Ingo

“…There is a need for Question Answering (QA) to return accurate answers to complex natural language questions over Linked Data, improving the accessibility of Linked Data (LD…”
Získať plný text

A Programming Language for Sound Self-Adaptive Systems Autor Porter, Barry, Filho, Roberto Rodrigues

“…The ability for systems to adapt at runtime by hot-swapping their logic, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context…”
Získať plný text

Map Verification and Repairing Using Formalized Map Specifications Autor Maierhofer, Sebastian, Ballnath, Yannick, Althoff, Matthias

“… We compare ontologies, answer set programming, and satisfiability modulo theories with our higher-order logic verification algorithm…”
Získať plný text