| 2012 | A Bipolar Framework for Combining Beliefs about Vague Propositions. | Jonathan Lawry, Didier Dubois |
| 2012 | Only-Knowing Meets Nonmonotonic Modal Logic. | Gerhard Lakemeyer, Hector J. Levesque |
| 2012 | Fixed-Parameter Algorithms for Finding Minimal Models. | Martin Lackner, Andreas Pfandler |
| 2012 | Conjunctive Query Answering with OWL 2 QL. | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
| 2012 | Practical Reasoning with Nominals in the EL Family of Description Logics. | Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simanck |
| 2012 | Search Strategy Simulation in Constraint Booleanization. | Jinbo Huang |
| 2012 | Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. | Jinbo Huang |
| 2012 | Justification Masking in Ontologies. | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
| 2012 | Automated Verification of Epistemic Properties for General Game Playing. | Sebastian Haufe, Michael Thielscher |
| 2012 | Ambiguous Language and Differences in Beliefs. | Joseph Y. Halpern, Willemien Kets |
| 2012 | Fixpoints and Iterated Updates in Abstract Argumentation. | Davide Grossi |
| 2012 | Ontology Evolution Under Semantic Constraints. | Bernardo Cuenca Grau, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov |
| 2012 | Acyclicity Conditions and their Application to Query Answering in Description Logics. | Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. | Alban Grastien, Patrik Haslum, Sylvie Thibaux |
| 2012 | Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. | Georg Gottlob, Thomas Schwentick |
| 2012 | Achieving Completeness in Bounded Model Checking of Action Theories in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2012 | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | Stream Reasoning with Answer Set Programming: Preliminary Report. | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| 2012 | Paraconsistent Hybrid Theories. | Michael Fink |
| 2012 | Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| 2012 | Worst-Case Optimal Reasoning with Forest Logic Programs. | Cristina Feier |
| 2012 | JASP: A Framework for Integrating Answer Set Programming with Java. | Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
| 2012 | Strong Equivalence of Qualitative Optimization Problems. | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2012 | Compositional Belief Merging. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2012 | Complexity-Sensitive Decision Procedures for Abstract Argumentation. | Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran |