| 2011 | Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. | Antonis Bikakis, Grigoris Antoniou |
| 2011 | Communicating ASP and the Polynomial Hierarchy. | Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2011 | Splitting an Argumentation Framework. | Ringo Baumann |
| 2011 | Secommunity: A Framework for Distributed Access Control. | Steve Barker, Valerio Genovese |
| 2011 | Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. | Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina |
| 2011 | Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. | Chitta Baral |
| 2011 | Industrial-Size Scheduling with ASP+CP. | Marcello Balduccini |
| 2011 | Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. | Mario Alviano, Gianluigi Greco, Nicola Leone |
| 2011 | Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots. | Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu |
| 2011 | Loop Formulas for Splitable Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2009 | Towards an Embedded Approach to Declarative Problem Solving in ASP. | Jia-Huai You |
| 2009 | Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. | Hui Wan, Michael Kifer |
| 2009 | Weight Constraint Programs with Functions. | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2009 | ASP: The Future Is Bright. | Marina De Vos |
| 2009 | Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. | Miroslaw Truszczynski |
| 2009 | The Complexity of Circumscriptive Inference in Post's Lattice. | Michael Thomas |
| 2009 | A Default Approach to Semantics of Logic Programs with Constraint Atoms. | Yi-Dong Shen, Jia-Huai You |
| 2009 | Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. | Torsten Schaub |
| 2009 | Social Default Theories. | Chiaki Sakama |
| 2009 | Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. | Jrg Phrer, Hans Tompits |
| 2009 | Belief Revision with Bounded Treewidth. | Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2009 | Layer Supported Models of Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2009 | Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2009 | The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. | Mauricio Osorio, Simone Pascucci |
| 2009 | Applying ASP to UML Model Validation. | Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano |