| 2018 | Ontology Stratification Methods: A Comparative Study. | Ricardo Guimares, Uli Sattler, Renata Wassermann |
| 2018 | Two AGM-Style Characterizations of Model Repair. | Paulo T. Guerra, Renata Wassermann |
| 2018 | Finite Query Answering in Expressive Description Logics with Transitive Roles. | Tomasz Gogacz, Yazmn Anglica Ibez-Garca, Filip Murlak |
| 2018 | Towards Explainable Inference about Object Motion using Qualitative Reasoning. | Xiaoyu Ge, Jochen Renz, Hua Hua |
| 2018 | Studies in Credibility-Limited Base Revision. | Marco Garapa, Eduardo Ferm, Maurcio D. Lus Reis |
| 2018 | Combining the Causal Judgments of Experts with Possibly Different Focus Areas. | Meir Friedenberg, Joseph Y. Halpern |
| 2018 | Which tool to use? Grounded reasoning in everyday environments with assistant robots. | Lydia Fischer, Stephan Hasler, Joerg Deigmoeller, Thomas Schnuerer, Michael Redert, Ulrike Pluntke, Katrin Nagel, Chris Senzel, Joern Ploennigs, Andreas Richter, Julian Eggert |
| 2018 | Exploiting Treewidth for Counting Projected Answer Sets. | Johannes Klaus Fichte, Markus Hecher |
| 2018 | Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. | Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen |
| 2018 | Constructive Logic Covers Argumentation and Logic Programming. | Jorge Fandinno, Luis Farias del Cerro |
| 2018 | ExactLearner: A Tool for Exact Learning of EL Ontologies. | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
| 2018 | Navigability with Bounded Recall. | Kaya Deuser, Pavel Naumov |
| 2018 | Incorporating Relevance in Epistemic States in Belief Revision. | James P. Delgrande, Pavlos Peppas |
| 2018 | Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. | Kristijonas Cyras, Tiago Oliveira |
| 2018 | Argumentation for Explainable Reasoning with Conflicting Medical Recommendations. | Kristijonas Cyras, Brendan Delaney, Denys Prociuk, Francesca Toni, Martin Chapman, Jess Domnguez, Vasa Curcin |
| 2018 | Propositional and Predicate Logics of Incomplete Information. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2018 | Symbolic Verification of Golog Programs with First-Order BDDs. | Jens Claen |
| 2018 | Approximating Certainty in Querying Data and Metadata. | Cristina Civili, Leonid Libkin |
| 2018 | Knowledge-Based Transfer Learning Explanation. | Jiaoyan Chen, Freddy Lcu, Jeff Z. Pan, Ian Horrocks, Huajun Chen |
| 2018 | A General Approach to Reasoning with Probabilities - Extended Abstract. | Federico Cerutti, Matthias Thimm |
| 2018 | A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. | Giovanni Casini, Eduardo Ferm, Thomas Meyer, Ivan Varzinczak |
| 2018 | The Combined Approach to Query Answering in Horn-ALCHOIQ. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2018 | Finite LTL Synthesis with Environment Assumptions and Quality Measures. | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| 2018 | Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2018 | Reasoning with Justifiable Exceptions in Contextual Hierarchies. | Loris Bozzato, Luciano Serafini, Thomas Eiter |