| 2012 | Frontmatter, Table of Contents, List of Authors. | |
| 2012 | Temporal Answer Set Programming. | Martn Diguez |
| 2012 | A Tarskian Informal Semantics for Answer Set Programming. | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
| 2012 | CHR for Social Responsibility. | Vernica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak |
| 2012 | Extending C+ with Composite Actions for Robotic Task Planning. | Xiaoping Chen, Guoqiang Jin, Fangkai Yang |
| 2012 | Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. | Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli |
| 2012 | Lazy Model Expansion by Incremental Grounding. | Broes De Cat, Marc Denecker, Peter J. Stuckey |
| 2012 | Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). | Franois Bry, Sebastian Schaffert |
| 2012 | Modeling Machine Learning and Data Mining Problems with FO(·). | Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer |
| 2012 | Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report. | Chitta Baral, Nguyen Ha Vo, Shanshan Liang |
| 2012 | Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue |
| 2012 | An Answer Set Solver for non-Herbrand Programs: Progress Report. | Marcello Balduccini |
| 2012 | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. | Giovanni Bacci, Marco Comini, Marco A. Feli, Alicia Villanueva |
| 2012 | Logic Programming in Tabular Allegories. | Emilio Jess Gallego Arias, James Lipton |
| 2012 | Software Model Checking by Program Specialization. | Emanuele De Angelis |
| 2012 | Unsatisfiability-based optimization in clasp. | Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub |
| 2012 | Towards Testing Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2012 | Paving the Way for Temporal Grounding. | Felicidad Aguado, Pedro Cabalar, Martn Diguez, Gilberto Prez, Concepcin Vidal |
| 2012 | Visualization of CHR through Source-to-Source Transformation. | Slim Abdennadher, Nada Sharaf |
| 2012 | A Logic Programming approach for Access Control over RDF. | Nuno Lopes, Sabrina Kirrane, Antoine Zimmermann, Axel Polleres, Alessandra Mileo |
| 2011 | Static Type Checking for the Q Functional Language in Prolog. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |
| 2011 | Two Phase Description Logic Reasoning for Efficient Information Retrieval. | Zsolt Zombori |
| 2011 | Implementation of Axiomatic Language. | Walter W. Wilson |
| 2011 | Minimizing the overheads of dependent {AND}-parallelism. | Peter Wang, Zoltan Somogyi |
| 2011 | Accepting the natural order of rules in a logic program with preferences. | Alexander Simko |