Main Track

Long papers

iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Paolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini and Emanuel Sallinger

The Temporal Vadalog System: DatalogML-based Reasoning for Knowledge Graphs
Luigi Bellomarini, Livia Blasi, Markus Nissl and Emanuel Sallinger

Seminaive Materialisation in DatalogMTL
Dingmin Wang, Przemysław Andrzej Wałęga and Bernardo Cuenca Grau

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
Alexander Steen and David Fuenmayor

In the Head of the Beholder: Comparing Different Proof Representations
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel and Frederik Wiehr

Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Anssi Yli-Jyrä and Tomi Janhunen

On the generalization of learnt constraints in ASP solving for temporal domains
Javier Romero, Torsten Schaub and Klaus Strauch

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Ali Elhalawati, Markus Krötzsch and Stephan Mennicke

The I-DLV-sr system for Stream Reasoning in Smart City Applications
Francesco Calimeri, Elena Mastria, Simona Perri and Jessica Zangari

Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
Franz Baader, Francesco Kriegel and Adrian Nuradiansyah

Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics
Faiq Miftakhul Falakh, Sebastian Rudolph and Kai Sauerwald

A Rule-Based Behaviour Planner for Autonomous Driving
Frédéric Bouchard, Sean Sedwards and Krzysztof Czarnecki

Cooperation among groups of agents in the epistemic logic L-DINF
Stefania Costantini, Valentina Pitoni and Andrea Formisano

From Defeasible Logic to Counterfactual Reasoning
Antonino Rotolo, Francesco Olivieri, Guido Governatori and Matteo Cristani

KLM-Style Defeasibility for Restricted First-Order Logic
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones and Ivan Varzinczak

Short papers

plingo: A system for probabilistic reasoning in clingo based on lpmln
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Ruehling and Torsten Schaub

Magic Sets in Interpolation-based Rule Driven Query Optimization
Eva Feng, David Toman and Grant Weddell

Prudens: An Argumentation-Based Language for Cognitive Assistants
Vasileios Theodoros Markos and Loizos Michael