| 2016 | A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. Francesco Belardinelli, Alessio Lomuscio |
| 2016 | A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics. Matthias Nickles |
| 2016 | A Two-Phase Dialogue Game for Skeptical Preferred Semantics. Zohreh Shams, Nir Oren |
| 2016 | Approximate Unification in the Description Logic Franz Baader, Pavlos Marantidis, Alexander Okhotin |
| 2016 | Characterizability in Horn Belief Revision. Jon Yaggie, György Turán |
| 2016 | Correct Grounded Reasoning with Presumptive Arguments. Bart Verheij |
| 2016 | DRAT Proofs for XOR Reasoning. Tobias Philipp, Adrian Rebola-Pardo |
| 2016 | Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. Joseph Boudou, Emiliano Lorini |
| 2016 | Efficient Reasoning for Inconsistent Horn Formulae. João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza |
| 2016 | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. Thomas Eiter, Tobias Kaminski |
| 2016 | Extensional Semantics for Higher-Order Logic Programs with Negation. Panos Rondogiannis, Ioanna Symeonidou |
| 2016 | Forgetting in ASP: The Forgotten Properties. Ricardo Gonçalves, Matthias Knorr, João Leite |
| 2016 | Formalizing Goal Serializability for Evaluation of Planning Features. Reza Basseda, Michael Kifer |
| 2016 | GenB: A General Solver for AGM Revision. Aaron Hunter, Eric Tsang |
| 2016 | Hilbert-Style Axiomatization for Hybrid XPath with Data. Carlos Areces, Raul Fervari |
| 2016 | Inconsistency Management in Reactive Multi-context Systems. Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer |
| 2016 | Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
| 2016 | Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. Sergio Greco, Francesco Parisi |
| 2016 | Information Flow Under Budget Constraints. Pavel Naumov, Jia Tao |
| 2016 | Introducing Role Defeasibility in Description Logics. Katarina Britz, Ivan Varzinczak |
| 2016 | Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). Patrick Doherty, Jonas Kvarnström, Andrzej Szalas |
| 2016 | Kinetic Consistency and Relevance in Belief Revision. Pavlos Peppas, Mary-Anne Williams |
| 2016 | Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings Loizos Michael, Antonis C. Kakas |
| 2016 | Measuring Inconsistency in Answer Set Programs. Markus Ulbricht, Matthias Thimm, Gerhard Brewka |
| 2016 | Metabolic Pathways as Temporal Logic Programs. Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro |
| 2016 | On Decidability of a Logic of Gossips. Krzysztof R. Apt, Dominik Wojtczak |
| 2016 | On Hierarchical Task Networks. Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |
| 2016 | On Logics of Group Belief in Structured Coalitions. Philippe Balbiani, David Pearce, Levan Uridia |
| 2016 | On the Expressiveness of Temporal Equilibrium Logic. Laura Bozzelli, David Pearce |
| 2016 | Opposition Frameworks. Cosmina Croitoru, Kurt Mehlhorn |
| 2016 | Pakota: A System for Enforcement in Abstract Argumentation. Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo |
| 2016 | Prompt Interval Temporal Logic. Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2016 | Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. Roman Kuznets |
| 2016 | Reactive Policies with Planning for Action Languages. Zeynep G. Saribatur, Thomas Eiter |
| 2016 | Reasoning About Justified Belief Based on the Fusion of Evidence. Tuan-Fang Fan, Churn-Jung Liau |
| 2016 | Refinement of Intentions. Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
| 2016 | Revising Possibilistic Knowledge Bases via Compatibility Degrees. Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang |
| 2016 | Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin |
| 2016 | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2016 | Temporal Here and There. Philippe Balbiani, Martín Diéguez |
| 2016 | Understanding the Abstract Dialectical Framework. Sylwia Polberg |
| 2016 | Writing Declarative Specifications for Clauses. Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |