| 2001 | A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. | Kewen Wang |
| 2001 | Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. | Vronique Ventos, Pierre Brzellec, Henry Soldano |
| 2001 | Strong Equivalence for Logic Programs and Default Theories (Made Easy). | Hudson Turner |
| 2001 | The Smodels System. | Tommi Syrjnen, Ilkka Niemel |
| 2001 | Omega-Restricted Logic Programs. | Tommi Syrjnen |
| 2001 | Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
| 2001 | Nonmonotonic Inductive Logic Programming. | Chiaki Sakama |
| 2001 | psmodels: Stable Models Based on Pertinence. | Ramn P. Otero |
| 2001 | A-system: Declarative Programming with Abduction. | Bert Van Nuffelen, Antonis C. Kakas |
| 2001 | New Generation Systems for Non-monotonic Reasoning. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 2001 | Representation of Incomplete Knowledge by Induction of Default Theories. | Pascal Nicolas, Batrice Duval |
| 2001 | Multi-adjoint Logic Programming with Continuous Semantics. | Jess Medina, Manuel Ojeda-Aciego, Peter Vojts |
| 2001 | On the Expressibility of Stable Logic Programming. | V. Wiktor Marek, Jeffrey B. Remmel |
| 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 | Data Integration Needs Reasoning. | Maurizio Lenzerini |
| 2001 | Multi-dimensional Dynamic Knowledge Representation. | Joo Alexandre Leite, Jos Jlio Alferes, Lus Moniz Pereira |
| 2001 | On the Complexity of Model Checking and Inference in Minimal Models. | Lefteris M. Kirousis, Phokion G. Kolaitis |
| 2001 | E-RES: Reasoning about Actions, Events and Observations. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 2001 | On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. | Tomi Janhunen |
| 2001 | Bounded LTL Model Checking with Stable Models. | Keijo Heljanko, Ilkka Niemel |
| 2001 | Diagnosing Physical Systems in A-Prolog. | Michael Gelfond, Marcello Balduccini, Joel Galloway |
| 2001 | Encoding Solutions of the Frame Problem in Dynamic Logic. | Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo |
| 2001 | Optimizing the Computation of Heuristics for Answer Set Programming Systems. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | An Update Front-End for Extended Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |