RuleML+RR B

20 papers

YearTitle / Authors
2022A Rule-Based Behaviour Planner for Autonomous Driving.
Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki
2022An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog.
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
2022Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery.
Anssi Yli-Jyrä, Tomi Janhunen
2022Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.
Alexander Steen, David Fuenmayor
2022Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022Error-Tolerant Reasoning in the Description Logic
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2022Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022From Defeasible Logic to Counterfactual Reasoning.
Matteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo
2022In the Head of the Beholder: Comparing Different Proof Representations.
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
2022KLM-Style Defeasibility for Restricted First-Order Logic.
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
2022Magic Sets in Interpolation-Based Rule Driven Query Optimization.
Eva Feng, David Toman, Grant E. Weddell
2022On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
Javier Romero, Torsten Schaub, Klaus Strauch
2022Plingo: A System for Probabilistic Reasoning in Clingo Based on LP
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2022Prudens: An Argumentation-Based Language for Cognitive Assistants.
Vassilis Markos, Loizos Michael
2022Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
Guido Governatori, Anni-Yasmin Turhan
2022Semantic Characterizations of AGM Revision for Tarskian Logics.
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2022Seminaïve Materialisation in DatalogMTL.
Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
2022The Temporal Vadalog System.
Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger
2022iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning.
Paolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger