Abstract is missing.
- Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating MachineryAnssi Yli-Jyrä, Tomi Janhunen. 3-19 [doi]
- On the Generalization of Learned Constraints for ASP Solving in Temporal DomainsJavier Romero 0003, Torsten Schaub, Klaus Strauch. 20-37 [doi]
- The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart CitiesFrancesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari. 38-53 [doi]
- MLN Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero 0003, Nicolas Rühling, Torsten Schaub. 54-62 [doi]
- From Defeasible Logic to Counterfactual ReasoningMatteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo. 65-80 [doi]
- KLM-Style Defeasibility for Restricted First-Order LogicGiovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak. 81-94 [doi]
- Semantic Characterizations of AGM Revision for Tarskian LogicsFaiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald. 95-110 [doi]
- iWarded: A Versatile Generator to Benchmark Warded Datalog+/- ReasoningPaolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger. 113-129 [doi]
- The Temporal Vadalog SystemLuigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger. 130-145 [doi]
- An Existential Rule Framework for Computing Why-Provenance On-Demand for DatalogAli Elhalawati, Markus Krötzsch, Stephan Mennicke. 146-163 [doi]
- Explaining Ontology-Mediated Query Answers Using Proofs over Universal ModelsChristian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. 167-182 [doi]
- Seminaïve Materialisation in DatalogMTLDingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau. 183-197 [doi]
- Magic Sets in Interpolation-Based Rule Driven Query OptimizationEva Feng, David Toman 0001, Grant E. Weddell. 198-207 [doi]
- In the Head of the Beholder: Comparing Different Proof RepresentationsChristian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr. 211-226 [doi]
- Eℒ Based on Optimal RepairsFranz Baader, Francesco Kriegel, Adrian Nuradiansyah. 227-243 [doi]
- Bridging Between LegalRuleML and TPTP for Automated Normative ReasoningAlexander Steen, David Fuenmayor. 244-260 [doi]
- A Rule-Based Behaviour Planner for Autonomous DrivingFrédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki. 263-279 [doi]
- Cooperation Among Groups of Agents in the Epistemic Logic L-DINFStefania Costantini, Andrea Formisano 0001, Valentina Pitoni. 280-295 [doi]
- Prudens: An Argumentation-Based Language for Cognitive AssistantsVassilis Markos, Loizos Michael. 296-304 [doi]