| 2000 | High Quality Information Retrieval for Improving the Conduct and Management of Research and Development. | Ronald N. Kostoff |
| 2000 | On Modeling of Concept Based Retrieval in Generalized Vector Spaces. | Minkoo Kim, Ali H. Alsaffar, Jitender S. Deogun, Vijay V. Raghavan |
| 2000 | A Method of Generating Program Specification from Description of Human Activities. | Shuhei Kawasaki, Setsuo Ohsuga |
| 2000 | Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change. | Jennifer Kashmirian, Lin Padgham |
| 2000 | Finding Temporal Relations: Causal Bayesian Networks vs. C4.5. | Kamran Karimi, Howard J. Hamilton |
| 2000 | Top-Down Query Processing in First Order Deductive Databases under the DWFS. | C. A. Johnson |
| 2000 | A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. | Jrg Hoffmann |
| 2000 | A Dynamic Approach for Knowledge Discovery of Web Access Patterns. | Aladdin Hafez |
| 2000 | Logic-Based Approach to Semistructured Data Retrieval. | Mohand-Said Hacid, Farouk Toumani |
| 2000 | A Comparison of Rule Matching Methods Used in AQ15 and LERS. | Jerzy W. Grzymala-Busse, Pankaj Shah |
| 2000 | Can Relational Learning Scale Up? | Attilio Giordana, Lorenza Saitta, Michle Sebag, Marco Botta |
| 2000 | Mining | Ada Wai-Chee Fu, Renfrew W.-w. Kwong, Jian Tang |
| 2000 | Discovering and Resolving User Intent in Heterogeneous Databases. | Chris Fernandes, Lawrence J. Henschen |
| 2000 | Refining Logic Theories under OI-Implication. | Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro |
| 2000 | Intelligent Agent Battlespace Augmentation. | Philip J. Emmerman, Uma Y. Movva |
| 2000 | On the Complexity of Optimal Multisplitting. | Tapio Elomaa, Juho Rousu |
| 2000 | Signature-Based Indexing for Retrieval by Spatial Content in Large | Essam A. El-Kwae |
| 2000 | Automatic Semantic Header Generator. | Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali |
| 2000 | A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. | Robert Demolombe, Maria del Pilar Pozos Parra |
| 2000 | Using Intelligent Systems in Predictions of the Bacterial Causative Agent of an Infection. | Diana R. Cundell, Randy S. Silibovsky, Robyn Sanders, Les M. Sztandera |
| 2000 | PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. | Alfredo Cruz |
| 2000 | Information Retrieval Based on Statistical Language Models. | W. Bruce Croft |
| 2000 | Combining Description Logics with Stratified Logic Programs in Knowledge Representation. | Jianhua Chen |
| 2000 | Data Reduction via Conflicting Data Analysis. | Moussa Boussouf, Mohamed Quafafou |
| 2000 | Template Generation for Identifying Text Patterns. | Ccile Boisson, Nahid Shahmehri |