| 2012 | A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. Karsten Lehmann, Anni-Yasmin Turhan |
| 2012 | A Minimal Model Semantics for Nonmonotonic Reasoning. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. Anna Zamansky |
| 2012 | A Selective Semantics for Logic Programs with Preferences. Alfredo Gabaldon |
| 2012 | A System for the Use of Answer Set Programming in Reinforcement Learning. Matthias Nickles |
| 2012 | A Unifying Perspective on Knowledge Updates. Martin Slota, João Leite |
| 2012 | Belief Base Change Operations for Answer Set Programming. Patrick Krümpelmann, Gabriele Kern-Isberner |
| 2012 | Beyond Maxi-Consistent Argumentation Operators. Srdjan Vesic, Leendert W. N. van der Torre |
| 2012 | Building an Epistemic Logic for Argumentation. François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra |
| 2012 | Conditional Epistemic Planning. Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen |
| 2012 | Conflict-Tolerant Semantics for Argumentation Frameworks. Ofer Arieli |
| 2012 | DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas. Julien Balax, Florence Dupin de Saint-Cyr, David Villard |
| 2012 | Deciding the Bisimilarity Relation between Datalog Goals. Philippe Balbiani, Antoun Yaacoub |
| 2012 | Exact Query Reformulation with First-Order Ontologies and Databases. Enrico Franconi, Volha Kerhet, Nhung Ngo |
| 2012 | Exploiting Unfounded Sets for HEX-Program Evaluation. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller |
| 2012 | Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. Lluís Godo, Enrico Marchioni, Pere Pardo |
| 2012 | Fault Tolerance in Belief Formation Networks. Sarah Holbrook, Pavel Naumov |
| 2012 | Generalized DEL-Sequents. Guillaume Aucher, Bastien Maubert, François Schwarzentruber |
| 2012 | How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. Marc Finthammer, Christoph Beierle |
| 2012 | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. Bart Verheij |
| 2012 | Knowledge Means 'All', Belief Means 'Most'. Dimitris Askounis, Costas D. Koutras, Yorgos Zikos |
| 2012 | Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. Naoya Inoue, Kentaro Inui |
| 2012 | Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin |
| 2012 | Minimal Proof Search for Modal Logic K Model Checking. Abdallah Saffidine |
| 2012 | Nested Sequent Calculi for Conditional Logics. Régis Alenda, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl |
| 2012 | On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. Joanna Golinska-Pilarek |
| 2012 | On Satisfiability in ATL with Strategy Contexts. Nicolas Troquard, Dirk Walther |
| 2012 | PTL: A Propositional Typicality Logic. Richard Booth, Thomas Meyer, Ivan Varzinczak |
| 2012 | Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. Régis Alenda, Nicola Olivetti |
| 2012 | Qualitative Approximate Behavior Composition. Nitin Yadav, Sebastian Sardiña |
| 2012 | Reasoning about Agent Programs Using ATL-Like Logics. Nitin Yadav, Sebastian Sardiña |
| 2012 | Relevant Minimal Change in Belief Update. Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang |
| 2012 | Sequent Systems for Lewis' Conditional Logics. Björn Lellmann, Dirk Pattinson |
| 2012 | The Complexity of One-Agent Refinement Modal Logic. Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
| 2012 | The Multi-Engine ASP Solver me-asp. Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | The Tableau Prover Generator MetTeL2. Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | The View-Update Problem for Indefinite Databases. Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano |
| 2012 | Three-Valued Logics for Incomplete Information and Epistemic Logic. Davide Ciucci, Didier Dubois |
| 2012 | Using Satisfiability for Non-optimal Temporal Planning. Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani |
| 2012 | Verifying Brahms Human-Robot Teamwork Models. Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher |