| 2012 | Together, Is Anything Possible? A Look at Collective Commitments for Agents. | Ben Wright |
| 2012 | A Concurrent Operational Semantics for Constraint Functional Logic Programming. | Rafael del Vado Vrseda, Fernando Prez Morente, Marcos Miguel Garca Toledo |
| 2012 | Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. | Paul Tarau |
| 2012 | Surviving Solver Sensitivity: An ASP Practitioner's Guide. | Bryan Silverthorn, Yuliya Lierler, Marius Schneider |
| 2012 | Using Answer Set Programming in the Development of Verified Software. | Florian Schanda, Martin Brain |
| 2012 | Tabling for infinite probability computation. | Taisuke Sato, Philipp J. Meyer |
| 2012 | Answer Set Programming with External Sources. | Christoph Redl |
| 2012 | An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. | Andrea Peano |
| 2012 | ASP modulo CSP: The clingcon system. | Max Ostrowski |
| 2012 | An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2012 | LOG-IDEAH: ASP for Architectonic Asset Preservation. | Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala |
| 2012 | Possibilistic Nested Logic Programs. | Juan Carlos Nieves, Helena Lindgren |
| 2012 | Preprocessing of Complex Non-Ground Rules in Answer Set Programming. | Michael Morak, Stefan Woltran |
| 2012 | Applying Machine Learning Techniques to ASP Solving. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | Two-Valued Logic Programs. | Vladimir Lifschitz |
| 2012 | ASP at Work: An ASP Implementation of PhyloWS. | Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son |
| 2012 | Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). | Joohyung Lee, Yunsong Meng |
| 2012 | aspeed: ASP-based Solver Scheduling. | Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider |
| 2012 | Improving Lazy Non-Deterministic Computations by Demand Analysis. | Michael Hanus |
| 2012 | A Gradual Polymorphic Type System with Subtyping for Prolog. | Spyros Hadjichristodoulou |
| 2012 | On the Termination of Logic Programs with Function Symbols. | Sergio Greco, Francesca Spezzano, Irina Trubitsyna |
| 2012 | A Flexible Solver for Finite Arithmetic Circuits. | Nathaniel Wesley Filardo, Jason Eisner |
| 2012 | Answer Set Solving with Lazy Nogood Generation. | Christian Drescher, Toby Walsh |
| 2012 | Logic + control: An example. | Wlodzimierz Drabent |
| 2012 | Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. | Agostino Dovier, Vtor Santos Costa |