| 2014 | Justified Beliefs by Justified Arguments. | Davide Grossi, Wiebe van der Hoek |
| 2014 | Polynomial Combined Rewritings for Existential Rules. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2014 | Datalog+/-: Questions and Answers. | Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
| 2014 | Stable Model Semantics for Guarded Existential Rules and Description Logics. | Georg Gottlob, Andr Hernich, Clemens Kupke, Thomas Lukasiewicz |
| 2014 | Tracking Beliefs and Intentions in the Werewolf Game. | Codruta Liliana Grlea, Eyal Amir, Roxana Girju |
| 2014 | ASP Encodings of Acyclicity Properties. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | Finite Model Reasoning in Horn Description Logics. | Yazmn Anglica Ibez-Garca, Carsten Lutz, Thomas Schneider |
| 2014 | Knowledge Maps of Web Graphs. | Valeria Fionda, Claudio Gutierrez, Giuseppe Pirr |
| 2014 | Transforming Situation Calculus Action Theories for Optimised Reasoning. | Christopher James Ewin, Adrian R. Pearce, Stavros Vassos |
| 2014 | On Egalitarian Belief Merging. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2014 | Answering Instance Queries Relaxed by Concept Similarity. | Andreas Ecke, Rafael Pealoza, Anni-Yasmin Turhan |
| 2014 | How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs. | Sjur Kristoffer Dyrkolbotn |
| 2014 | Characteristics of Multiple Viewpoints in Abstract Argumentation. | Paul E. Dunne, Wolfgang Dvork, Thomas Linsbichler, Stefan Woltran |
| 2014 | Belief Revision in the Propositional Closure of a Qualitative Algebra. | Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber |
| 2014 | On Redundant Topological Constraints. | Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long |
| 2014 | A Dynamic Logic Framework for Abstract Argumentation. | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
| 2014 | Concept Dissimilarity with Triangle Inequality. | Felix Distel, Jamal Atif, Isabelle Bloch |
| 2014 | A Psychology-Inspired Approach to Automated Narrative Text Comprehension. | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2014 | The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. | Marc Denecker, Joost Vennekens |
| 2014 | Towards a Knowledge Level Analysis of Forgetting. | James P. Delgrande |
| 2014 | On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | Using Answer Set Programming for Solving Boolean Games. | Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Now |
| 2014 | Constructive Negation in Extensional Higher-Order Logic Programming. | Angelos Charalambidis, Panos Rondogiannis |
| 2014 | An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. | Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella |
| 2014 | Strong Equivalence of Non-Monotonic Temporal Theories. | Pedro Cabalar, Martn Diguez |