| 2014 | A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. Pedro Cabalar, Jorge Fandiño, Michael Fink |
| 2014 | A Dynamic View of Active Integrity Constraints. Guillaume Feuillade, Andreas Herzig |
| 2014 | A Free Logic for Stable Models with Partial Intensional Functions. Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
| 2014 | A Library of Anti-unification Algorithms. Alexander Baumgartner, Temur Kutsia |
| 2014 | A Logic for Belief Contraction. Konstantinos Georgatos |
| 2014 | A Modal Logic of Knowledge, Belief, and Estimation. Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
| 2014 | A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases. Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel |
| 2014 | A Translation-Based Approach for Revision of Argumentation Frameworks. Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. María Alpuente, Santiago Escobar, Javier Espert, José Meseguer |
| 2014 | Action Theories over Generalized Databases with Equality Constraints. Fabio Patrizi, Stavros Vassos |
| 2014 | Answer Set Solver Backdoors. Emilia Oikarinen, Matti Järvisalo |
| 2014 | Argumentative Aggregation of Individual Opinions. Cosmina Croitoru |
| 2014 | Computing Repairs for Inconsistent DL-programs over Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | Constraint-Based Algorithm for Computing Temporal Invariants. Jussi Rintanen |
| 2014 | Constructive Models for Contraction with Intransitive Plausibility Indifference. Pavlos Peppas, Mary-Anne Williams |
| 2014 | Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. François Schwarzentruber, Jin-Kao Hao |
| 2014 | Efficient Program Transformers for Translating LCC to PDL. Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada |
| 2014 | Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi |
| 2014 | Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. Michel Ludwig, Rafael Peñaloza |
| 2014 | Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
| 2014 | Finitary S5-Theories. Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2014 | Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. Hans Rott |
| 2014 | Improving the Normalization of Weight Rules in Answer Set Programs. Jori Bomanson, Martin Gebser, Tomi Janhunen |
| 2014 | Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura |
| 2014 | Inductive Learning of Answer Set Programs. Mark Law, Alessandra Russo, Krysia Broda |
| 2014 | LEG Networks for Ranking Functions. Christian Eichhorn, Gabriele Kern-Isberner |
| 2014 | Logic Foundations of the OCL Modelling Language. Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente |
| 2014 | Logical Foundations of Possibilistic Keys. Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade |
| 2014 | Logics for Approximating Implication Problems of Saturated Conditional Independence. Henning Köhler, Sebastian Link |
| 2014 | Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings Eduardo Fermé, João Leite |
| 2014 | Measuring Dissimilarity between Judgment Sets. Marija Slavkovik, Thomas Ågotnes |
| 2014 | Modular Paracoherent Answer Sets. Giovanni Amendola, Thomas Eiter, Nicola Leone |
| 2014 | Non-classical Planning with a Classical Planner: The Power of Transformations. Hector Geffner |
| 2014 | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco |
| 2014 | Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
| 2014 | Opportunities for Argument-Centric Persuasion in Behaviour Change. Anthony Hunter |
| 2014 | Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé |
| 2014 | Preserving Strong Equivalence while Forgetting. Matthias Knorr, José Júlio Alferes |
| 2014 | Probabilistic Abstract Dialectical Frameworks. Sylwia Polberg, Dragan Doder |
| 2014 | Query Answering over Description Logic Ontologies. Diego Calvanese |
| 2014 | Reasoning about Dynamic Normative Systems. Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
| 2014 | Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje |
| 2014 | Revisiting Postulates for Inconsistency Measures. Philippe Besnard |
| 2014 | Revisiting Reductants in the Multi-adjoint Logic Programming Framework. Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego |
| 2014 | SAT Modulo Graphs: Acyclicity. Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | Similarity Orders from Causal Equations. Johannes Marti, Riccardo Pinosio |
| 2014 | Stable Models of Fuzzy Propositional Formulas. Joohyung Lee, Yi Wang |
| 2014 | Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
| 2014 | System aspmt2smt: Computing ASPMT Theories by SMT Solvers. Michael Bartholomew, Joohyung Lee |
| 2014 | The D-FLAT System for Dynamic Programming on Tree Decompositions. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran |
| 2014 | The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza |
| 2014 | Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. Ismail Ilkan Ceylan, Rafael Peñaloza |
| 2014 | Tools for the Investigation of Substructural and Paraconsistent Logics. Agata Ciabattoni, Lara Spendier |
| 2014 | Verification of Context-Sensitive Knowledge and Action Bases. Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |