| 2018 | Compiling Away Soft Trajectory Constraints in Planning. | Benedict Wright, Robert Mattmller, Bernhard Nebel |
| 2018 | Propositional Belief Merging with OWA Operators. | Henrique Viana, Joo F. L. Alcntara |
| 2018 | Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. | Veronika Thost |
| 2018 | What Stands-in for a Missing Tool?: A Prototypical Grounded Knowledge-based Approach to Tool Substitution. | Madhura Thosar, Christian A. Mueller, Sebastian Zug |
| 2018 | SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. | Da Shen, Yuliya Lierler |
| 2018 | iCon: A Diagrammatic Theorem Prover for Ontologies. | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |
| 2018 | Probabilistic Coalition Structure Generation. | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | On Belief Promotion. | Nicolas Schwind, Sbastien Konieczny, Pierre Marquis |
| 2018 | Omission-Based Abstraction for Answer Set Programs. | Zeynep G. Saribatur, Thomas Eiter |
| 2018 | A Model-Based Approach to Visual Reasoning on CNLVR Dataset. | Shailaja Sampat, Joohyung Lee |
| 2018 | A Hybrid Approach to Optimization in Answer Set Programming. | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Jrvisalo |
| 2018 | The Window Validity Problem in Rule-Based Stream Reasoning. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2018 | Probabilistic Abstract Argumentation Based on SCC Decomposability. | Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre |
| 2018 | Towards Belief Contraction without Compactness. | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
| 2018 | Structure Learning for Relational Logistic Regression: An Ensemble Approach. | Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole, Kristian Kersting, Sriraam Natarajan |
| 2018 | Probabilistic Strength of Arguments with Structure. | Henry Prakken |
| 2018 | Continuous Dynamical Systems for Weighted Bipolar Argumentation. | Nico Potyka |
| 2018 | Parametrised Difference Revision. | Pavlos Peppas, Mary-Anne Williams |
| 2018 | Query Answering for Rough EL Ontologies. | Rafael Pealoza, Veronika Thost, Anni-Yasmin Turhan |
| 2018 | Extension Enforcement under Grounded Semantics in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2018 | Strategic Coalitions in Systems with Catastrophic Failures. | Pavel Naumov, Kevin Ros |
| 2018 | A Novel Automata-Theoretic Approach to Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2018 | Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions. | Arindam Mitra, Chitta Baral, Peter Clark |
| 2018 | On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. | Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell |
| 2018 | Reasoning about Knowledge and Strategies under Hierarchical Information. | Bastien Maubert, Aniello Murano |