| 2011 | A Portfolio Solver for Answer Set Programming: Preliminary Report. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller |
| 2011 | ASP-Prolog for Negotiation among Dishonest Agents. Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2011 | ASPIDE: Integrated Development Environment for Answer Set Programming. Onofrio Febbraro, Kristian Reale, Francesco Ricca |
| 2011 | Advances in Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub |
| 2011 | Aggregates in Answer Set Optimization. Emad Saad, Gerhard Brewka |
| 2011 | An Application of Clasp in the Study of Logics. Mauricio Osorio, José Luis Carballido, Claudia Zepeda |
| 2011 | Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. Thomas Eiter, Michael Fink, Peter Schüller |
| 2011 | Back and Forth between Rules and SE-Models. Martin Slota, João Leite |
| 2011 | Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots. Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu |
| 2011 | Cluster-Based ASP Solving with Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor |
| 2011 | Communicating ASP and the Polynomial Hierarchy. Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2011 | Compiling Answer Set Programs into Event-Driven Action Rules. Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
| 2011 | Contingency-Based Equilibrium Logic. Luis Fariñas del Cerro, Andreas Herzig |
| 2011 | Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. Mario Alviano, Gianluigi Greco, Nicola Leone |
| 2011 | Foundations and Extensions of Answer Set Programming: The Logical Approach. David Pearce |
| 2011 | Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. Johannes Oetsch, Hans Tompits |
| 2011 | Industrial-Size Scheduling with ASP+CP. Marcello Balduccini |
| 2011 | Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). Joohyung Lee, Ravi Palla |
| 2011 | Itemset Mining as a Challenge Application for Answer Set Enumeration. Matti Järvisalo |
| 2011 | Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. Chitta Baral |
| 2011 | Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings James P. Delgrande, Wolfgang Faber |
| 2011 | Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI. David Poole |
| 2011 | Loop Formulas for Splitable Temporal Logic Programs. Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| 2011 | Modularity of P-Log Programs. Carlos Viegas Damásio, João Moura Pires |
| 2011 | New Semantics for Epistemic Specifications. Michael Gelfond |
| 2011 | On Influence and Contractions in Defeasible Logic Programming. Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García |
| 2011 | Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina |
| 2011 | Parametrized Equilibrium Logic. Ricardo Gonçalves, José Júlio Alferes |
| 2011 | Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. Antonis Bikakis, Grigoris Antoniou |
| 2011 | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller |
| 2011 | Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits |
| 2011 | Reactive Answer Set Programming. Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub |
| 2011 | Relational Information Exchange and Aggregation in Multi-Context Systems. Michael Fink, Lucantonio Ghionna, Antonius Weinzierl |
| 2011 | STeLP - A Tool for Temporal Answer Set Programming. Pedro Cabalar, Martín Diéguez |
| 2011 | Secommunity: A Framework for Distributed Access Control. Steve Barker, Valerio Genovese |
| 2011 | Splitting an Argumentation Framework. Ringo Baumann |
| 2011 | Stepping through an Answer-Set Program. Johannes Oetsch, Jörg Pührer, Hans Tompits |
| 2011 | Strong Equivalence of Logic Programs with Abstract Constraint Atoms. Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You |
| 2011 | Symmetry Breaking for Distributed Multi-Context Systems. Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
| 2011 | Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. Yuliya Lierler, Vladimir Lifschitz |
| 2011 | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
| 2011 | Transaction Logic with External Actions. Ana Sofia Gomes, José Júlio Alferes |
| 2011 | VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl |
| 2011 | Weight Constraints with Preferences in ASP. Stefania Costantini, Andrea Formisano |
| 2011 | What Are the Necessity Rules in Defeasible Reasoning? Ho-Pun Lam, Guido Governatori |
| 2011 | cmMUS: A Tool for Circumscription-Based MUS Membership Testing. Mikolás Janota, João Marques-Silva |
| 2011 | plasp: A Prototype for PDDL-Based Planning in ASP. Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub |