| 2016 | Decidable Reasoning in a Logic of Limited Belief with Function Symbols. | Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | Expressive Description Logic with Instantiation Metamodelling. | Petra Kubincov, Jn Kluka, Martin Homola |
| 2016 | On Expressibility of Non-Monotone Operators in SPARQL. | Roman Kontchakov, Egor V. Kostylev |
| 2016 | Anti-Unification of Concepts in Description Logic EL. | Boris Konev, Temur Kutsia |
| 2016 | Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language. | Seyed Mehran Kazemi, David Poole |
| 2016 | Limiting Logical Violations in Ontology Alignnment Through Negotiation. | Ernesto Jimnez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma |
| 2016 | A MIS Partition Based Framework for Measuring Inconsistency. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | Bayesian Deduction with Subjective Opinions. | Magdalena Ivanovska, Audun Jsang, Francesco Sambo |
| 2016 | On Partial Information and Contradictions in Probabilistic Abstract Argumentation. | Anthony Hunter, Matthias Thimm |
| 2016 | Sequential Equilibrium in Games of Imperfect Recall. | Joseph Y. Halpern, Rafael Pass |
| 2016 | Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. | Ronald de Haan, Stefan Szeider |
| 2016 | Imperfect Information in Reactive Modules Games. | Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge |
| 2016 | On the Functional Completeness of Argumentation Semantics. | Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran |
| 2016 | Knowledge Graph Embedding by Flexible Translation. | Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu |
| 2016 | Succinctness of Languages for Judgment Aggregation. | Ulle Endriss, Umberto Grandi, Ronald de Haan, Jrme Lang |
| 2016 | Generalized Consistent Query Answering under Existential Rules. | Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu |
| 2016 | Merging of Abstract Argumentation Frameworks. | Jrme Delobelle, Adrian Haret, Sbastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran |
| 2016 | ABA+: Assumption-Based Argumentation with Preferences. | Kristijonas Cyras, Francesca Toni |
| 2016 | Abstract Argumentation for Case-Based Reasoning. | Kristijonas Cyras, Ken Satoh, Francesca Toni |
| 2016 | Approximations and Refinements of Certain Answers via Many-Valued Logics. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2016 | Quantifying Conflicts for Spatial and Temporal Information. | Jean-Franois Condotta, Badran Raddaoui, Yakoub Salhi |
| 2016 | A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. | Jean-Franois Condotta, Issam Nouaouri, Michael Sioutis |
| 2016 | Guiding Planning Engines by Transition-Based Domain Control Knowledge. | Luks Chrpa, Roman Bartk |
| 2016 | Building Epistemic Logic from Observations and Public Announcements. | Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |
| 2016 | Open-World Probabilistic Databases. | Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |