Reactive Answer Set Programming [PDF]
, 2011 We introduce the first approach to Reactive Answer Set Programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. With this, we elaborate upon the composition of the various offline and online programs in order to pave the way for ...
Martin Gebser +3 more
openaire +1 more source
A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding
IEEE AccessA well-known approach to optimally solving Multi-Agent Path Finding (MAPF) is by compilation to Boolean Satisfiability or Answer Set Programming. Such compilation-based approaches to MAPF are superior to others on dense, relatively small instances ...
Rodrigo Lopez +2 more
doaj +1 more source
A Logic Programming Approach to Repairing SHACL Constraint Violations [PDF]
Transactions on Graph Data and KnowledgeThe Shapes Constraint Language (SHACL) is a recent standard, a W3C recommendation, for validating RDF graphs against shape constraints to be checked on target nodes of a data graph.
Ahmetaj, Shqiponja +3 more
doaj +1 more source
Retrieval-augmented Generative Intelligence Question Answering Technology Based on Knowledge Graph [PDF]
Jisuanji kexueA knowledge graph-based retrieval-augmented generation framework is proposed to achieve military intelligence question answering.The framework effectively acquires background knowledge through question classification,entity recognition,entity linking,and
CHENG Zhiyu, CHEN Xinglin, WANG Jing, ZHOU Zhongyuan, ZHANG Zhizheng
doaj +1 more source
Answer Set Programming for Legal Decision Support and Explanation [PDF]
, 2023 Daniele Theseider Dupré
openalex +1 more source
Expressiveness of Communication in Answer Set Programming [PDF]
, 2011 Kim Bauters +4 more
openalex +1 more source
SOSAc-Reasoner: An ASP inference engine for automatic IoT context knowledge generation
SoftwareXThe SOSAc-Reasoner is a commonsense reasoning engine, implemented using Answer Set Programming. It is designed to automatically generate IoT context knowledge, representing the capabilities of system devices, from a simple smart scenario description. The
Ana Rubio +3 more
doaj +1 more source
An Application of Proof-Theory in Answer Set Programming [PDF]
, 2009 Victor W. Marek, Jeffrey B. Remmel
openalex +1 more source
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning [PDF]
, 2017 Dongcai Lu +4 more
openalex +1 more source
Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018 [PDF]
, 2018 Jorge Fandinno, Johannes K. Fichte
openalex +1 more source