| 2017 | A Decidable Confluence Test for Cognitive Models in ACT-R. Daniel Gall, Thom W. Frühwirth |
| 2017 | A Set-Theoretic Approach to ABox Reasoning Services. Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
| 2017 | An Online Tool for Tuning Fuzzy Logic Programs. Ginés Moreno, José A. Riaza |
| 2017 | ArgQL: A Declarative Language for Querying Argumentative Dialogues. Dimitra Zografistou, Giorgos Flouris, Dimitris Plexousakis |
| 2017 | Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. Daniela Briola, Viviana Mascardi |
| 2017 | Dischargeable Obligations in Abductive Logic Programming. Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
| 2017 | Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt |
| 2017 | Hybrid ASP-Based Approach to Pattern Mining. Sergey Paramonov, Daria Stepanova, Pauli Miettinen |
| 2017 | Inconsistency-Tolerant Instance Checking in Tractable Description Logics. Rafael Peñaloza |
| 2017 | Meta-Interpretive Learning: Achievements and Challenges (Invited Paper). Stephen H. Muggleton |
| 2017 | On the Chase for All Provenance Paths with Existential Rules. Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru |
| 2017 | Rewriting Queries with Negated Atoms. Enrique Matos Alfonso, Giorgos Stamou |
| 2017 | Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
| 2017 | Semantic DMN: Formalizing Decision Models with Domain Knowledge. Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali |
| 2017 | Three Methods for Revising Hybrid Knowledge Bases. Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang |
| 2017 | Using Rule-Based Reasoning for RDF Validation. Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, Erik Mannens |
| 2017 | Verifying Controllability of Time-Aware Business Processes. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |