| 2009 | A Deductive System for FO(ID) Based on Least Fixpoint Logic. Ping Hou, Marc Denecker |
| 2009 | A Default Approach to Semantics of Logic Programs with Constraint Atoms. Yi-Dong Shen, Jia-Huai You |
| 2009 | A First Order Forward Chaining Approach for Answer Set Computing. Claire Lefèvre, Pascal Nicolas |
| 2009 | A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. James P. Delgrande, Torsten Grote, Aaron Hunter |
| 2009 | A Module-Based Framework for Multi-language Constraint Modeling. Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä |
| 2009 | A Revised Concept of Safety for General Answer Set Programs. Pedro Cabalar, David Pearce, Agustín Valverde |
| 2009 | A Simple Distributed Conflict-Driven Answer Set Solver. Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor |
| 2009 | ANTON: Composing Logic and Logic Composing. Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2009 | AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
| 2009 | ASP: The Future Is Bright. Marina De Vos |
| 2009 | An ASP System with Functions, Lists, and Sets. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | An ASP-Based Data Integration System. Nicola Leone, Francesco Ricca, Giorgio Terracina |
| 2009 | An ASP-Based System for e-Tourism. Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2009 | Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub |
| 2009 | Applying ASP to UML Model Validation. Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano |
| 2009 | Argumentation Context Systems: A Framework for Abstract Group Argumentation. Gerhard Brewka, Thomas Eiter |
| 2009 | Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. Hui Wan, Michael Kifer |
| 2009 | Belief Revision with Bounded Treewidth. Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
| 2009 | Bridging the Gap between High-Level Reasoning and Low-Level Control. Ozan Çaldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu |
| 2009 | CR-Prolog as a Specification Language for Constraint Satisfaction Problems. Marcello Balduccini |
| 2009 | Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. Jörg Pührer, Hans Tompits |
| 2009 | Complexity of the Stable Model Semantics for Queries on Incomplete Databases. Jos de Bruijn, Stijn Heymans |
| 2009 | Computing Stable Models via Reductions to Difference Logic. Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev |
| 2009 | Computing Weighted Solutions in Answer Set Programming. Duygu Çakmak, Esra Erdem, Halit Erdogan |
| 2009 | Contextual Argumentation in Ambient Intelligence. Antonis Bikakis, Grigoris Antoniou |
| 2009 | Exploiting ASP in Real-World Applications: Main Strengths and Challenges. Nicola Leone |
| 2009 | From Data Integration towards Knowledge Mediation. Gerhard Brewka, Thomas Eiter |
| 2009 | Generating Optimal Code Using Answer Set Programming. Tom Crick, Martin Brain, Marina De Vos, John P. Fitch |
| 2009 | Gorgias-C: Extending Argumentation with Constraint Solving. Victor Noël, Antonis C. Kakas |
| 2009 | HAPLO-ASP: Haplotype Inference Using Answer Set Programming. Esra Erdem, Ozan Erdem, Ferhan Türe |
| 2009 | How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. Marcello Balduccini |
| 2009 | Induction on Failure: Learning Connected Horn Theories. Tim Kimber, Krysia Broda, Alessandra Russo |
| 2009 | Integrating Answer Set Modules into Agent Programs. Stefania Costantini |
| 2009 | Integrating Answer Set Programming and Satisfiability Modulo Theories. Ilkka Niemelä |
| 2009 | Knowledge Qualification through Argumentation. Loizos Michael, Antonis C. Kakas |
| 2009 | Layer Supported Models of Logic Programs. Luís Moniz Pereira, Alexandre Miguel Pinto |
| 2009 | Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs. Guohua Liu |
| 2009 | Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
| 2009 | Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings Esra Erdem, Fangzhen Lin, Torsten Schaub |
| 2009 | Logic-Based Modeling in Systems Biology. Alexander Bockmayr |
| 2009 | Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. Torsten Schaub |
| 2009 | Manifold Answer-Set Programs for Meta-reasoning. Wolfgang Faber, Stefan Woltran |
| 2009 | Max-ASP: Maximum Satisfiability of Answer Set Programs. Emilia Oikarinen, Matti Järvisalo |
| 2009 | Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . Chitta Baral, Tran Cao Son, Enrico Pontelli |
| 2009 | Modelling Normative Frameworks Using Answer Set Programing. Owen Cliffe, Marina De Vos, Julian A. Padget |
| 2009 | Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System. Alessandra Mileo, Davide Merico, Roberto Bisiani |
| 2009 | On Reductive Semantics of Aggregates in Answer Set Programming. Joohyung Lee, Yunsong Meng |
| 2009 | On the Input Language of ASP Grounder Gringo. Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2009 | Optimal Multicore Scheduling: An Application of ASP Techniques. Viren Kumar, James P. Delgrande |
| 2009 | PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. Esra Erdem |
| 2009 | Present and Future Challenges for ASP Systems. Agostino Dovier, Enrico Pontelli |
| 2009 | Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | Representing Multi-agent Planning in CLP. Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2009 | SAT, SMT and Applications. Armin Biere |
| 2009 | Simple Random Logic Programs. Gayathri Namasivayam, Miroslaw Truszczynski |
| 2009 | Social Default Theories. Chiaki Sakama |
| 2009 | Some DLV Applications for Knowledge Management. Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | Splitting a CR-Prolog Program. Marcello Balduccini |
| 2009 | System f2lp - Computing Answer Sets of First-Order Formulas. Joohyung Lee, Ravi Palla |
| 2009 | The Complexity of Circumscriptive Inference in Post's Lattice. Michael Thomas |
| 2009 | The Conflict-Driven Answer Set Solver clasp: Progress Report. Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | The First Version of a New ASP Solver : ASPeRiX. Claire Lefèvre, Pascal Nicolas |
| 2009 | The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. Mauricio Osorio, Simone Pascucci |
| 2009 | The Second Answer Set Programming Competition. Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | Towards an Embedded Approach to Declarative Problem Solving in ASP. Jia-Huai You |
| 2009 | Translating Preferred Answer Set Programs to Propositional Logic. Vernon Asuncion, Yan Zhang |
| 2009 | Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. Miroslaw Truszczynski |
| 2009 | Using Answer Set Programming to Enhance Operating System Discovery. François Gagnon, Babak Esfandiari |
| 2009 | Using Lightweight Inference to Solve Lightweight Problems. Marc Denecker, Joost Vennekens |
| 2009 | Weight Constraint Programs with Functions. Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2009 | What Next for ASP? (A Not-Entirely-Well-Informed Opinion). James P. Delgrande |
| 2009 | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2009 | nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. Annamaria Bria, Wolfgang Faber, Nicola Leone |