| 2012 | Integrated Data and Process Management: Finally? | Marlon Dumas |
| 2012 | Stable Models in Generalized Possibilistic Logic. | Didier Dubois, Henri Prade, Steven Schockaert |
| 2012 | Temporal Composite Actions with Constraints. | Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas |
| 2012 | Belief Revision with Sensing and Fallible Actions. | James P. Delgrande, Hector J. Levesque |
| 2012 | Belief Revision within Fragments of Propositional Logic. | Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
| 2012 | Efficient Argumentation for Medical Decision-Making. | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
| 2012 | Weighted Attacks in Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2012 | Paradoxes of Multiple Elections: An Approximation Approach. | Vincent Conitzer, Lirong Xia |
| 2012 | Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis. | Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar |
| 2012 | Knowledge-intensive Processes: An Overview of Contemporary Approaches. | Claudio Di Ciccio, Andrea Marrella, Alessandro Russo |
| 2012 | Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. | Vinay K. Chaudhri, Tran Cao Son |
| 2012 | The Complexity of Explaining Negative Query Answers in DL-Lite. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
| 2012 | Semantically-Governed Data-Aware Processes. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
| 2012 | Modelling Time and Reliability in Structured Argumentation Frameworks. | Maximiliano Celmo Budn, Mauro Javier Gmez Lucero, Carlos Ivn Chesevar, Guillermo Ricardo Simari |
| 2012 | Undecidability of Fuzzy Description Logics. | Stefan Borgwardt, Rafael Pealoza |
| 2012 | On Unit-Refutation Complete Formulae with Existentially Quantified Variables. | Lucas Bordeaux, Mikols Janota, Joo Marques-Silva, Pierre Marquis |
| 2012 | Credibility-Limited Revision Operators in Propositional Logic. | Richard Booth, Eduardo Ferm, Sbastien Konieczny, Ramn Pino Prez |
| 2012 | Query Containment in Description Logics Reconsidered. | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2012 | An Abstraction Technique for the Verification of Artifact-Centric Systems. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | Automatic Detection of Business Process Interference. | Nick van Beest, Eirini Kaldeli, Pavel Bulanov, Hans Wortmann, Alexander Lazovik |
| 2012 | Stable Models of Formulas with Intensional Functions. | Michael Bartholomew, Joohyung Lee |
| 2012 | From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. | Chitta Baral, Shanshan Liang |
| 2012 | Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. | Chitta Baral, Juraj Dzifcak |
| 2012 | Declarative Entity Resolution via Matching Dependencies and Answer Set Programs. | Zeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan |
| 2012 | Abstracting Abstraction in Search with Applications to Planning. | Christer Bckstrm, Peter Jonsson |