12/09/2020
Multi-head Guarded Existential Rules Over Fixed Signatures
Georg Gottlob, Marco Manna, Andreas Pieris
Keywords Paper
Description logics-General, Logic programming, answer set programming, constraint logic programming-General, Ontology formalisms and models-General, Ontology-based data access, integration, and exchange-General
0
0
0
0
14:27
12/09/2020
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Keywords Paper
Inconsistency- and exception tolerant reasoning, paraconsistent logics-General, Knowledge representation languages-General
0
0
0
0
13:40
12/09/2020
Modeling Affordances and Functioning for Personalized Robotic Assistance
Alessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta
Keywords Paper
Ontologies, and ontological representations for robotics-General, KR for robotic cognition-General, KR for robot plan execution and monitoring-General, KR for human-robot interaction and communication-General, KR for autonomous robot architectures-General, Grounding knowledge in sense-plan-act loop-General
0
0
0
0
16:06
12/09/2020
Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis
Agnese Chiatti, Enrico Motta, Enrico Daga
Keywords Paper
KR for service robotics-General, Combining KR in the lab and robotic applications-General, Commonsense reasoning for robotics-General, Reasoning about knowledge, beliefs, and other mental attitudes of robots/humans-General, KR for robotic cognition-General, Qualitative reasoning, and reasoning about physical systems for robotics-General
0
0
0
0
12:32
12/09/2020
Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?
Markus Hecher
Keywords Paper
Computational aspects of knowledge representation-General, Logic programming, answer set programming, constraint logic programming-General, Nonmonotonic logics, default logics, conditional logics-General
0
0
0
0
15:04
12/09/2020
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus
Jens Claßen, James Delgrande
Keywords Paper
Reasoning about actions and change, action languages-General, Nonmonotonic logics, default logics, conditional logics-General, Reasoning about knowledge, beliefs, and other mental attitudes-General
0
0
0
0
14:14
12/09/2020
Containment of Simple Conjunctive Regular Path Queries
Diego Figueira, Adwait Godbole, S. Krishna and
Keywords Paper
Computational aspects of knowledge representation-General, KR and the Web, Semantic Web-General, Knowledge graphs, virtual knowledge graphs, and open linked data-General
0
0
0
0
13:02
12/09/2020
Plausible Reasoning about EL-Ontologies using Concept Interpolation
Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert
Keywords Paper
Description logics-General, Commonsense reasoning-General, Knowledge representation languages-General, Concept formation, similarity-based reasoning-General
0
0
0
0
15:50
12/09/2020
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus
Keywords Paper
Description logics-General, Ontology-based data access, integration, and exchange-General, Logic programming, answer set programming, constraint logic programming-General
0
0
0
0
16:06
12/09/2020
WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty
Nikos Katzouris, Alexander Artikis
Keywords Paper
KR related tools and systems-General, Case studies for KR systems-General, Applications that combine KR with machine learning-General
0
0
0
0
15:59
12/09/2020
Changing Beliefs about Domain Dynamics in the Situation Calculus
Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
Keywords Paper
Reasoning about knowledge, beliefs, and other mental attitudes-General, Reasoning about actions and change, action languages-General, Belief revision and update, belief merging, information fusion-General, Nonmonotonic logics, default logics, conditional logics-General
0
0
0
0
13:31
