| 2012 | Assertion Absorption in Object Queries over Knowledge Bases. | Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell |
| 2012 | An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities. | Nic Wilson, Radu Marinescu |
| 2012 | Forgetting in Logic Programs under Strong Equivalence. | Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang |
| 2012 | Ordered Epistemic Logic: Semantics, Complexity and Applications. | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2012 | Abstract Normative Systems: Semantics and Proof Theory. | Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata |
| 2012 | A Generic Querying Algorithm for Greedy Sets of Existential Rules. | Michal Thomazo, Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph |
| 2012 | Modular Representation of a Business Process Planner. | Shahab Tasharrofi, Eugenia Ternovska |
| 2012 | Towards Parallel Nonmonotonic Reasoning with Billions of Facts. | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
| 2012 | Robust Equivalence Models for Semantic Updates of Answer-Set Programs. | Martin Slota, Joo Leite |
| 2012 | Generalized Ontology-Based Production Systems. | Riccardo Rosati, Enrico Franconi |
| 2012 | High Performance Query Answering over DL-Lite Ontologies. | Mariano Rodriguez-Muro, Diego Calvanese |
| 2012 | Implicit Constraints for Qualitative Spatial and Temporal Reasoning. | Jochen Renz |
| 2012 | Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction. | Henri Prade, Gilles Richard |
| 2012 | On the Small-Scope Hypothesis for Testing Answer-Set Programs. | Johannes Oetsch, Michael Prischink, Jrg Phrer, Martin Schwengerer, Hans Tompits |
| 2012 | Lecture in Remembrance of John McCarthy. | Leora Morgenstern |
| 2012 | Ranking Sets of Possibly Interacting Objects Using Shapley Extensions. | Stefano Moretti, Alexis Tsoukis |
| 2012 | A Knowledge-based Approach to the Configuration of Business Process Model Abstractions. | Shamila Mafazi, Wolfgang Mayer, Georg Grossmann, Markus Stumptner |
| 2012 | Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. | Jianbing Ma, Salem Benferhat, Weiru Liu |
| 2012 | Non-Uniform Data Complexity of Query Answering in Description Logics. | Carsten Lutz, Frank Wolter |
| 2012 | An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. | Carsten Lutz, Inan Seylan, Frank Wolter |
| 2012 | Answer Set Programming via Mixed Integer Programming. | Guohua Liu, Tomi Janhunen, Ilkka Niemel |
| 2012 | Logic Programs with Intensional Functions. | Vladimir Lifschitz |
| 2012 | The Winograd Schema Challenge. | Hector J. Levesque, Ernest Davis, Leora Morgenstern |
| 2012 | A Logic-Based Approach to Business Process Customization. | Yves Lesprance |
| 2012 | Efficiently Computable Datalog∃ Programs. | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |