| 2011 | Evolution of Ontologies using ASP. | Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou |
| 2011 | Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise. | Colin J. Nicholson, Danny De Schreye, Jon Sneyers |
| 2011 | Abduction in Annotated Probabilistic Temporal Logic. | Cristian Molinaro, Amy Sliva, V. S. Subrahmanian |
| 2011 | Multi-agent Confidential Abductive Reasoning. | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
| 2011 | Correct Reasoning about Logic Programs. | Jael Kriener |
| 2011 | Promoting Modular Nonmonotonic Logic Programs. | Thomas Krennwallner |
| 2011 | Constraints in Non-Boolean Contexts. | Leslie De Koninck, Sebastian Brand, Peter J. Stuckey |
| 2011 | Canonical Regular Types. | Ethan K. Jackson, Nikolaj S. Bjrner, Wolfram Schulte |
| 2011 | Synthesis of Logic Programs from Object-Oriented Formal Specifications. | ngel Herranz-Nieva, Julio Mario |
| 2011 | Declarative Processing of Semistructured Web Data. | Michael Hanus |
| 2011 | Multi-Criteria Optimization in Answer Set Programming. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2011 | Frontmatter, Table of Contents, Preface, Conference Organization. | John P. Gallagher, Michael Gelfond |
| 2011 | Transaction Logic with Defaults and Argumentation Theories. | Paul Fodor, Michael Kifer |
| 2011 | Compiling Prolog to Idiomatic Java. | Michael Eichberg |
| 2011 | Modelling Grammar Constraints with Answer Set Programming. | Christian Drescher, Toby Walsh |
| 2011 | BAAC: A Prolog System for Action Description and Agents Coordination. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2011 | Bayesian Annotation Networks for Complex Sequence Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2011 | CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. | Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright |
| 2011 | Representing the Language of the Causal Calculator in Answer Set Programming. | Michael Casolary, Joohyung Lee |
| 2011 | A Semiring-based framework for fair resources allocation. | Paola Campli |
| 2011 | Smart test data generators via logic programming. | Lukas Bulwahn |
| 2011 | Hybrid ASP. | Alex Brik, Jeffrey B. Remmel |
| 2011 | Extensions of Answer Set Programming. | Alex Brik |
| 2011 | Declarative Output by Ordering Text Pieces. | Stefan Brass |
| 2011 | Consistency Techniques for Hybrid Simulations. | Marco Bottalico |