Search Results - logic programming and answer sept programming

ChatGPT for PLC/DCS Control Logic Generation by 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…”
Get full text

Application of Fuzzy Answer set Programming in Hybrid Deep Neural-Symbolic Architecture by 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…”
Get full text

DeepTelos Demonstration by 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,…”
Get full text

A Proposal of Constant Modification Problem for Beginners to Start Scratch Programming by 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…”
Get full text

Personalized Learner Assistance Through Dynamic Adaptation of Chatbot Using Fuzzy Logic Knowledge Modeling by 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…”
Get full text

Crowdsourced Linked Data Question Answering with AQUACOLD by 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…”
Get full text

A Programming Language for Sound Self-Adaptive Systems by 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…”
Get full text

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

“… We compare ontologies, answer set programming, and satisfiability modulo theories with our higher-order logic verification algorithm…”
Get full text