| 2018 | Introducing Temporal Stable Models for Linear Dynamic Logic. | Anne-Gwenn Bosser, Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2018 | Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation. | Elise Bonzon, Jrme Delobelle, Sbastien Konieczny, Nicolas Maudet |
| 2018 | Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. | Jori Bomanson, Tomi Janhunen, Antonius Weinzierl |
| 2018 | Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. | Thomas Bolander, Thorsten Engesser, Robert Mattmller, Bernhard Nebel |
| 2018 | On Laws and Counterfactuals in Causal Reasoning. | Alexander Bochman |
| 2018 | Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. | Stefano Bistarelli, Francesco Santini |
| 2018 | Knowledge Representation for Cognition- and Learning-enabled Robot Manipulation. | Daniel Beler, Sebastian Koralewski, Michael Beetz |
| 2018 | Approximating Perfect Recall When Model Checking Strategic Abilities. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2018 | Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. | Francesco Belardinelli, Catalin Dima, Aniello Murano |
| 2018 | Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2018 | If Nothing Is Accepted - Repairing Argumentation Frameworks. | Ringo Baumann, Markus Ulbricht |
| 2018 | Changing Observations in Epistemic Temporal Logic. | Aurle Barrire, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | Making Repairs in Description Logics More Gentle. | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza |
| 2018 | Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. | Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si |
| 2018 | On the Progression of Situation Calculus Universal Theories with Constants. | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia |
| 2018 | Relaxing and Restraining Queries for OBDA - Extended Abstract. | Medina Andresel, Yazmn Anglica Ibez-Garca, Magdalena Ortiz, Mantas Simkus |
| 2018 | Synthesis under Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2018 | Gradual Semantics for Weighted Graphs: An Unifying Approach. | Leila Amgoud, Dragan Doder |
| 2018 | Measuring Similarity between Logical Arguments. | Leila Amgoud, Victor David |
| 2018 | Gradual Semantics Accounting for Similarity between Arguments. | Leila Amgoud, Elise Bonzon, Jrme Delobelle, Dragan Doder, Sbastien Konieczny, Nicolas Maudet |
| 2018 | A Generator of Hard 2QBF Formulas and ASP Programs. | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| 2018 | Preference Relations by Approximation. | Mario Alviano, Javier Romero, Torsten Schaub |
| 2018 | Dealing with Conceptual Indeterminacy: A Framework Based on Supervaluation Semantics. | Luca Gmez lvarez, Brandon Bennett |
| 2018 | An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari |
| 2018 | Reachability Analysis for Neural Agent-Environment Systems. | Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |