default search action
RuleML+RR 2022: Virtual Event / Berlin, Germany
- Guido Governatori, Anni-Yasmin Turhan:
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13752, Springer 2022, ISBN 978-3-031-21540-7
Answer Set Programming
- Anssi Yli-Jyrä, Tomi Janhunen:
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery. 3-19 - Javier Romero, Torsten Schaub, Klaus Strauch:
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. 20-37 - Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari:
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. 38-53 - Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN . 54-62
Foundations of Nonmonotonic Reasoning
- Matteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo:
From Defeasible Logic to Counterfactual Reasoning. 65-80 - Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. 81-94 - Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of AGM Revision for Tarskian Logics. 95-110
Datalog
- Paolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger:
iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning. 113-129 - Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger:
The Temporal Vadalog System. 130-145 - Ali Elhalawati, Markus Krötzsch, Stephan Mennicke:
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. 146-163
Queries Over Ontologies
- Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. 167-182 - Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
Seminaïve Materialisation in DatalogMTL. 183-197 - Eva Feng, David Toman, Grant E. Weddell:
Magic Sets in Interpolation-Based Rule Driven Query Optimization. 198-207
Proofs, Error-Tolerance, and Rules
- Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr:
In the Head of the Beholder: Comparing Different Proof Representations. 211-226 - Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs. 227-243 - Alexander Steen, David Fuenmayor:
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. 244-260
Agents and Argumentation
- Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki:
A Rule-Based Behaviour Planner for Autonomous Driving. 263-279 - Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. 280-295 - Vassilis Markos, Loizos Michael:
Prudens: An Argumentation-Based Language for Cognitive Assistants. 296-304
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.