| 2001 | On Bounded Specifications. | Orna Kupferman, Moshe Y. Vardi |
| 2001 | Operational Semantics for Fixed-Point Logics on Constraint Databases. | Stephan Kreutzer |
| 2001 | Model Generation with Boolean Constraints. | Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2001 | Counting the Number of Equivalent Binary Resolution Proofs. | Joseph D. Horton |
| 2001 | Monodic fragments of first-order temporal logics: 2000-2001 A.D. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2001 | Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
| 2001 | Reachability Analysis of Term Rewriting Systems with Timbuk. | Thomas Genet, Valrie Viet Triem Tong |
| 2001 | Inferring Termination Conditions for Logic Programs Using Backwards Analysis. | Samir Genaim, Michael Codish |
| 2001 | Census Data Repair: a Challenging Application of Disjunctive Logic Programming. | Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello |
| 2001 | Tableaux for Reasoning About Atomic Updates. | Christian G. Fermller, Georg Moser, Richard Zach |
| 2001 | A Refinement Theory that Supports Reasoning About Knowledge and Time. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 2001 | Reasoning about Evolving Nonmonotonic Knowledge Bases. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets. | Volker Diekert, Paul Gastin |
| 2001 | How to Transform an Analyzer into a Verifier. | Marco Comini, Roberta Gori, Giorgio Levi |
| 2001 | A Local System for Classical Logic. | Kai Brnnler, Alwen Fernanto Tiu |
| 2001 | Certifying Synchrony for Free. | Sylvain Boulm, Grgoire Hamon |
| 2001 | A Monotonic Higher-Order Semantic Path Ordering. | Cristina Borralleras, Albert Rubio |
| 2001 | Games and Model Checking for Guarded Logics. | Dietmar Berwanger, Erich Grdel |
| 2001 | Efficient Computation of the Well-Founded Model Using Update Propagation. | Andreas Behrend |
| 2001 | The Elog Web Extraction Language. | Robert Baumgartner, Sergio Flesca, Georg Gottlob |
| 2001 | Boolean Functions for Finite-Tree Dependencies. | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
| 2001 | Herbrand's Theorem for Prenex Gdel Logic and its Consequences for Theorem Proving. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2001 | Unification in a Description Logic with Transitive Closure of Roles. | Franz Baader, Ralf Ksters |
| 2001 | Coherent Composition of Distributed Knowledge-Bases Through Abduction. | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
| 2001 | Indexed Categories and Bottom-Up Semantics of Logic Programs. | Gianluca Amato, James Lipton |