| 2016 | jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. | Federico Cerutti, Mauro Vallati, Massimiliano Giacomin |
| 2016 | Using Defeasible Information to Obtain Coherence. | Giovanni Casini, Thomas Andreas Meyer |
| 2016 | An Analysis of the Equational Properties of the Well-Founded Fixed Point. | Arnaud Carayol, Zoltn sik |
| 2016 | On First-Order μ-Calculus over Situation Calculus Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2016 | Regular Open APIs. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2016 | Negation Without Negation in Probabilistic Logic Programming. | David Buchman, David Poole |
| 2016 | Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. | Pierre Bourhis, Carsten Lutz |
| 2016 | On Referring Expressions in Query Answering over First Order Knowledge Bases. | Alexander Borgida, David Toman, Grant E. Weddell |
| 2016 | Consolidating Probabilistic Knowledge Bases via Belief Contraction. | Glauber De Bona, Marcelo Finger, Mrcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann |
| 2016 | Declarative Solver Development: Case Studies. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | On Logics and Semantics of Indeterminate Causation. | Alexander Bochman |
| 2016 | Query-Based Comparison of Mappings in Ontology-Based Data Access. | Meghyn Bienvenu, Riccardo Rosati |
| 2016 | Foundations for Generalized Planning in Unbounded Stochastic Domains. | Vaishak Belle, Hector J. Levesque |
| 2016 | An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. | Ringo Baumann, Hannes Strass |
| 2016 | Characterizing Equivalence Notions for Labelling-Based Semantics. | Ringo Baumann |
| 2016 | Extending Consequence-Based Reasoning to SRIQ. | Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simanck, Ian Horrocks |
| 2016 | On the Justification of Statements in Argumentation-based Reasoning. | Pietro Baroni, Guido Governatori, Ho-Pun Lam, Rgis Riveret |
| 2016 | Online Situation-Determined Agents and their Supervision. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. | Jean-Franois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
| 2016 | Boolean Hedonic Games. | Haris Aziz, Paul Harrenstein, Jrme Lang, Michael J. Wooldridge |
| 2016 | Argumentative Approaches to Reasoning with Maximal Consistency. | Ofer Arieli, Christian Straer |
| 2016 | Prompt Alternating-Time Epistemic Logics. | Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| 2016 | Ranking Arguments With Compensation-Based Semantics. | Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
| 2016 | Axiomatic Foundations of Acceptability Semantics. | Leila Amgoud, Jonathan Ben-Naim |
| 2016 | Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video. | Muhannad Al-Omari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn |