| 2014 | Logic Foundations of the OCL Modelling Language. | Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente |
| 2014 | A Dynamic View of Active Integrity Constraints. | Guillaume Feuillade, Andreas Herzig |
| 2014 | Computing Repairs for Inconsistent DL-programs over | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | LEG Networks for Ranking Functions. | Christian Eichhorn, Gabriele Kern-Isberner |
| 2014 | Argumentative Aggregation of Individual Opinions. | Cosmina Croitoru |
| 2014 | A Translation-Based Approach for Revision of Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. | Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Now |
| 2014 | Tools for the Investigation of Substructural and Paraconsistent Logics. | Agata Ciabattoni, Lara Spendier |
| 2014 | Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. | Ismail Ilkan Ceylan, Rafael Pealoza |
| 2014 | Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. | Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje |
| 2014 | Verification of Context-Sensitive Knowledge and Action Bases. | Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
| 2014 | Query Answering over Description Logic Ontologies. | Diego Calvanese |
| 2014 | A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. | Pedro Cabalar, Jorge Fandio, Michael Fink |
| 2014 | A Free Logic for Stable Models with Partial Intensional Functions. | Pedro Cabalar, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2014 | Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2014 | The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. | Stefan Borgwardt, Jos A. Leyva Galano, Rafael Pealoza |
| 2014 | Improving the Normalization of Weight Rules in Answer Set Programs. | Jori Bomanson, Martin Gebser, Tomi Janhunen |
| 2014 | Revisiting Postulates for Inconsistency Measures. | Philippe Besnard |
| 2014 | A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases. | Salem Benferhat, Zied Bouraoui, Odile Papini, ric Wrbel |
| 2014 | A Library of Anti-unification Algorithms. | Alexander Baumgartner, Temur Kutsia |
| 2014 | System aspmt2smt: Computing ASPMT Theories by SMT Solvers. | Michael Bartholomew, Joohyung Lee |
| 2014 | Only-Knowing la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. | Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
| 2014 | Modular Paracoherent Answer Sets. | Giovanni Amendola, Thomas Eiter, Nicola Leone |
| 2014 | ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. | Mara Alpuente, Santiago Escobar, Javier Espert, Jos Meseguer |
| 2014 | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |