| 2000 | Learning to Transfer Knowledge between Reference Systems. | Maria do Carmo Nicoletti, Jane Brennan |
| 2000 | Domain-Specific Knowledge Acquisition and Classification Using WordNet. | Dan I. Moldovan, Roxana Girju |
| 2000 | Defining and Monitoring Knowledge Integrity. | Fatma Mili, Krish Narayanan, Vamsi Atluri |
| 2000 | An Iterative Approach to Word Sense Disambiguation. | Rada Mihalcea, Dan I. Moldovan |
| 2000 | Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar. | Lisa N. Michaud, Kathleen F. McCoy |
| 2000 | An Algebraic Approach to Inductive Learning. | Zdravko Markov |
| 2000 | A Case Study in the Mechanical Verification of Fault Tolerance. | Heiko Mantel, Felix C. Grtner |
| 2000 | Fast Text Compression with Neural Networks. | Matthew V. Mahoney |
| 2000 | What is Wrong with this Equation? Error Detection and Feedback with Physics Equations. | Chun Wai Liew, Joel A. Shapiro, Donald E. Smith |
| 2000 | The Use of Formal Methods for Trusted Digital Signature Devices. | Bruno Langenstein, Roland Vogt, Markus Ullmann |
| 2000 | Towards Validation of Rule-Based Systems - The Loop is Closed. | Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke |
| 2000 | Graph-Based Hierarchical Conceptual Clustering. | Istvan Jonyer, Lawrence B. Holder, Diane J. Cook |
| 2000 | Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge. | Gregory Johnson Jr., Eugene Santos Jr. |
| 2000 | Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. | Ortrun Ibens |
| 2000 | Formal Software Development in the Verification Support Environment (VSE). | Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt |
| 2000 | Deriving Summaries Through an Identity-Based Approach. | Kathleen Hornsby |
| 2000 | Case Studies of Autonomy. | Henry Hexmoor |
| 2000 | Resolving Conflicts Among Actions in Concurrent Behaviors. | Henry Hexmoor |
| 2000 | Producing Modular Hybrid Rule Bases for Expert Systems. | Ioannis Hatzilygeroudis, Jim Prentzas |
| 2000 | Mining Textual Answers with Knowledge-Based Indicators. | Sanda M. Harabagiu, Marius Pasca |
| 2000 | Overriding the Experts: A Stacking Method for Combining Marginal Classifiers. | Mark D. Happel, Peter Bock |
| 2000 | A Parallel Approach to Modeling Language Learning and Understanding in Young Children. | Charles Hannon, Diane J. Cook |
| 2000 | Validation of Cryptographic Protocols by Efficient Automated Testing. | Sigrid Grgens, Ren Peralta |
| 2000 | Erosion Modeling in a Raster-Based GIS with Fuzzy Logic. | Hans W. Guesgen, Jochen Albrecht, Stefi Grundner |
| 2000 | Partitioning Sets with Genetic Algorithms. | William A. Greene |