| 2014 | Measuring Dissimilarity between Judgment Sets. | Marija Slavkovik, Thomas gotnes |
| 2014 | Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. | Franois Schwarzentruber, Jin-Kao Hao |
| 2014 | Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. | Hans Rott |
| 2014 | Constraint-Based Algorithm for Computing Temporal Invariants. | Jussi Rintanen |
| 2014 | Probabilistic Abstract Dialectical Frameworks. | Sylwia Polberg, Dragan Doder |
| 2014 | Constructive Models for Contraction with Intransitive Plausibility Indifference. | Pavlos Peppas, Mary-Anne Williams |
| 2014 | Action Theories over Generalized Databases with Equality Constraints. | Fabio Patrizi, Stavros Vassos |
| 2014 | Efficient Program Transformers for Translating LCC to PDL. | Pere Pardo, Enrique Sarrin-Morillo, Fernando Soler-Toscano, Fernando R. Velzquez-Quesada |
| 2014 | Answer Set Solver Backdoors. | Emilia Oikarinen, Matti Jrvisalo |
| 2014 | Similarity Orders from Causal Equations. | Johannes Marti, Riccardo Pinosio |
| 2014 | Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. | Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
| 2014 | Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. | Michel Ludwig, Rafael Pealoza |
| 2014 | Stable Models of Fuzzy Propositional Formulas. | Joohyung Lee, Yi Wang |
| 2014 | Inductive Learning of Answer Set Programs. | Mark Law, Alessandra Russo, Krysia Broda |
| 2014 | A Modal Logic of Knowledge, Belief, and Estimation. | Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
| 2014 | Logical Foundations of Possibilistic Keys. | Henning Khler, Uwe Leck, Sebastian Link, Henri Prade |
| 2014 | Logics for Approximating Implication Problems of Saturated Conditional Independence. | Henning Khler, Sebastian Link |
| 2014 | Preserving Strong Equivalence while Forgetting. | Matthias Knorr, Jos Jlio Alferes |
| 2014 | Reasoning about Dynamic Normative Systems. | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
| 2014 | Revisiting Reductants in the Multi-adjoint Logic Programming Framework. | Pascual Julin Iranzo, Jess Medina, Manuel Ojeda-Aciego |
| 2014 | Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. | Sad Jabbour, Joo Marques-Silva, Lakhdar Sais, Yakoub Salhi |
| 2014 | Opportunities for Argument-Centric Persuasion in Behaviour Change. | Anthony Hunter |
| 2014 | A Logic for Belief Contraction. | Konstantinos Georgatos |
| 2014 | Non-classical Planning with a Classical Planner: The Power of Transformations. | Hector Geffner |
| 2014 | SAT Modulo Graphs: Acyclicity. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |