| 2001 | A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. Kewen Wang |
| 2001 | A Computational Logic Approach to Heterogenous Agent Systems. Jürgen Dix |
| 2001 | A-system: Declarative Programming with Abduction. Bert Van Nuffelen, Antonis C. Kakas |
| 2001 | Algorithms for Computing X-Minimal Models. Chen Avin, Rachel Ben-Eliyahu-Zohary |
| 2001 | An Update Front-End for Extended Logic Programs. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | Antitonic Logic Programs. Carlos Viegas Damásio, Luís Moniz Pereira |
| 2001 | Bounded LTL Model Checking with Stable Models. Keijo Heljanko, Ilkka Niemelä |
| 2001 | Data Integration Needs Reasoning. Maurizio Lenzerini |
| 2001 | Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. Robert Baumgartner, Sergio Flesca, Georg Gottlob |
| 2001 | Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. Chitta Baral, Cenk Uyan |
| 2001 | Diagnosing Physical Systems in A-Prolog. Michael Gelfond, Marcello Balduccini, Joel Galloway |
| 2001 | E-RES: Reasoning about Actions, Events and Observations. Antonis C. Kakas, Rob Miller, Francesca Toni |
| 2001 | Encoding Solutions of the Frame Problem in Dynamic Logic. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo |
| 2001 | Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. Véronique Ventos, Pierre Brézellec, Henry Soldano |
| 2001 | Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. Thomas Lukasiewicz |
| 2001 | Improving ASP Instantiators by Join-Ordering Methods. Nicola Leone, Simona Perri, Francesco Scarcello |
| 2001 | Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski |
| 2001 | Multi-adjoint Logic Programming with Continuous Semantics. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
| 2001 | Multi-dimensional Dynamic Knowledge Representation. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
| 2001 | New Generation Systems for Non-monotonic Reasoning. Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
| 2001 | NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. Christian Anger, Kathrin Konczak, Thomas Linke |
| 2001 | Nonmonotonic Inductive Logic Programming. Chiaki Sakama |
| 2001 | Omega-Restricted Logic Programs. Tommi Syrjänen |
| 2001 | On the Complexity of Model Checking and Inference in Minimal Models. Lefteris M. Kirousis, Phokion G. Kolaitis |
| 2001 | On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. Tomi Janhunen |
| 2001 | On the Expressibility of Stable Logic Programming. V. Wiktor Marek, Jeffrey B. Remmel |
| 2001 | On the Relationship between Defeasible Logic and Well-Founded Semantics. Gerhard Brewka |
| 2001 | Optimizing the Computation of Heuristics for Answer Set Programming Systems. Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
| 2001 | Prototypes for Reasoning with Infinite Stable Models and Function Symbols. Piero A. Bonatti |
| 2001 | Reasoning with Open Logic Programs. Piero A. Bonatti |
| 2001 | Representation of Incomplete Knowledge by Induction of Default Theories. Pascal Nicolas, Béatrice Duval |
| 2001 | Strong Equivalence for Logic Programs and Default Theories (Made Easy). Hudson Turner |
| 2001 | System Description: DLV. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | System Description: The DLV Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | The Smodels System. Tommi Syrjänen, Ilkka Niemelä |
| 2001 | The USA-Advisor: A Case Study in Answer Set Planning. Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira |
| 2001 | aspps - An Implementation of Answer-Set Programming with Propositional Schemata. Deborah East, Miroslaw Truszczynski |
| 2001 | plp: A Generic Compiler for Ordered Logic Programs. James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2001 | psmodels: Stable Models Based on Pertinence. Ramón P. Otero |