| 2000 | On the complexity of reasoning about repeating events. | Robert A. Morris, Paul H. Morris |
| 2000 | Teaching Knowledge Representation: Challenges and Proposals. | Leora Morgenstern, Richmond H. Thomason |
| 2000 | Supporting automated deduction in first-order modal logics. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | An Environment for Merging and Testing Large Ontologies. | Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder |
| 2000 | Approximate Objects and Approximate Theories. | John McCarthy |
| 2000 | Representing and Aggregating Conflicting Beliefs. | Pedrito Maynard-Reid II, Daniel Lehmann |
| 2000 | Reduction rules and universal variables for first order tableaux and DPLL. | Fabio Massacci |
| 2000 | Learning Generalized Policies in Planning Using Concept Languages. | Mario Martn, Hector Geffner |
| 2000 | On Strongest Necessary and Weakest Sufficient Conditions. | Fangzhen Lin |
| 2000 | Missionaries and Cannibals in the Causal Calculator. | Vladimir Lifschitz |
| 2000 | BReLS: A System for the Integration of Knowledge Bases. | Paolo Liberatore, Marco Schaerf |
| 2000 | In search of the right extension. | Jrme Lang, Pierre Marquis |
| 2000 | Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. | Gianfranco Lamperti, Marina Zanella |
| 2000 | Logical representation of preferences for group decision making. | Celine Lafage, Jrme Lang |
| 2000 | On the Difference between Merging Knowledge Bases and Combining them. | Sbastien Konieczny |
| 2000 | Unfolding Partiality and Disjunctions in Stable Model Semantics. | Tomi Janhunen, Ilkka Niemel, Patrik Simons, Jia-Huai You |
| 2000 | A Logic Based Language for Parametric Inheritance. | Hasan M. Jamil |
| 2000 | Two Problems with Reasoning and Acting in Time. | Haythem O. Ismail, Stuart C. Shapiro |
| 2000 | Planning with sensing, concurrency, and exogenous events: logical framework and implementation. | Luca Iocchi, Daniele Nardi, Riccardo Rosati |
| 2000 | Reasoning with Axioms: Theory and Practice. | Ian Horrocks, Stephan Tobies |
| 2000 | Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. | Volker Haarslev, Ralf Mller |
| 2000 | Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. | Enrico Giunchiglia |
| 2000 | Satisfiability Algorithms and Finite Quantification. | Matthew L. Ginsberg, Andrew J. Parkes |
| 2000 | Continuous Motion in Discrete Space. | Antony Galton |
| 2000 | A Compositional Structured Query Approach to Automated Inference. | Yousri El Fattah, Mark A. Peot |