| 2000 | A Comparative Study of Noncontextual and Contextual Dependencies. S. K. Michael Wong, Cory J. Butz |
| 2000 | A Comparison of Rule Matching Methods Used in AQ15 and LERS. Jerzy W. Grzymala-Busse, Pankaj Shah |
| 2000 | A Dynamic Approach for Knowledge Discovery of Web Access Patterns. Aladdin Hafez |
| 2000 | A Formalism for Building Causal Polytree Structures Using Data Distributions. M. Ouerd, B. John Oommen, Stan Matwin |
| 2000 | A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. Jörg Hoffmann |
| 2000 | A Method and Language for Constructing Multiagent Systems. Hiroyuki Yamauchi, Setsuo Ohsuga |
| 2000 | A Method of Generating Program Specification from Description of Human Activities. Shuhei Kawasaki, Setsuo Ohsuga |
| 2000 | A Multi-agent Based Architecture for Distributed KDD Process. Chunnian Liu, Ning Zhong, Setsuo Ohsuga |
| 2000 | A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. Robert Demolombe, Maria del Pilar Pozos Parra |
| 2000 | Abstraction in Cartographic Generalization. Sébastien Mustière, Lorenza Saitta, Jean-Daniel Zucker |
| 2000 | An Efficient Proof Method for Non-clausal Reasoning. Edgar Altamirano, Gonzalo Escalada-Imaz |
| 2000 | An Intelligent Lessons Learned Process. Rosina Weber, David W. Aha, Héctor Muñoz-Avila, Len Breslow |
| 2000 | An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context. Daniel Pacholczyk, Florence Dupin de Saint-Cyr |
| 2000 | Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. James J. Lu, Neil V. Murray, Erik Rosenthal |
| 2000 | Automatic Semantic Header Generator. Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali |
| 2000 | Can Relational Learning Scale Up? Attilio Giordana, Lorenza Saitta, Michèle Sebag, Marco Botta |
| 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 | Design of Rough Neurons: Rough Set Foundation and Petri Net Model. James F. Peters, Andrzej Skowron, Zbigniew Suraj, Liting Han, Sheela Ramanna |
| 2000 | Discovering Geographic Knowledge: The INGENS System. Donato Malerba, Floriana Esposito, Antonietta Lanza, Francesca A. Lisi |
| 2000 | Discovering and Matching Elastic Rules from Sequence Databases. Sanghyun Park, Wesley W. Chu |
| 2000 | Discovering and Resolving User Intent in Heterogeneous Databases. Chris Fernandes, Lawrence J. Henschen |
| 2000 | Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies. Shusaku Tsumoto |
| 2000 | Emergence Measurement and Analyzes of Conceptual Abstractions During Evolution Simulation in OOD. Mourad Oussalah, Dalila Tamzalit |
| 2000 | Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP. Arturo Núñez, María Cristina Riff Rojas |
| 2000 | Evolving Behaviors for Cooperating Agents. Jeffrey K. Bassett, Kenneth A. De Jong |
| 2000 | Evolving Finite-State Machine Strategies for Protecting Resources. William M. Spears, Diana F. Gordon |
| 2000 | Extended Query Answering Using Integrity Rules. Barry G. T. Lowden, Jerome Robinson |
| 2000 | Extending Entity-Relationship Models with Higher-Order Operators. Antonio Badia |
| 2000 | Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling. Eric Louie, Tsau Young Lin |
| 2000 | Finding Temporal Relations: Causal Bayesian Networks vs. C4.5. Kamran Karimi, Howard J. Hamilton |
| 2000 | Foundations and Discovery of Operational Definitions. Jan M. Zytkow, Zbigniew W. Ras |
| 2000 | Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings Zbigniew W. Ras, Setsuo Ohsuga |
| 2000 | Fundamental Properties on Axioms of Kleene Algebra. Tomoko Ninomiya, Masao Mukaidono |
| 2000 | High Quality Information Retrieval for Improving the Conduct and Management of Research and Development. Ronald N. Kostoff |
| 2000 | Information Retrieval Based on Statistical Language Models. W. Bruce Croft |
| 2000 | Intelligent Agent Battlespace Augmentation. Philip J. Emmerman, Uma Y. Movva |
| 2000 | Knowledge Representation in Planning: A PDDL to Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu, Diane E. Kitchin |
| 2000 | Learning Relational Clichés with Contextual LGG. Johanne Morin, Stan Matwin |
| 2000 | Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation. Ryszard S. Michalski |
| 2000 | Legitimate Approach to Association Rules under Incompleteness. Marzena Kryszkiewicz, Henryk Rybinski |
| 2000 | Local Feature Selection with Dynamic Integration of Classifiers. Alexey Tsymbal, Seppo Puuronen |
| 2000 | Logic-Based Approach to Semistructured Data Retrieval. Mohand-Said Hacid, Farouk Toumani |
| 2000 | Mining Ada Wai-Chee Fu, Renfrew W.-w. Kwong, Jian Tang |
| 2000 | On Modeling of Concept Based Retrieval in Generalized Vector Spaces. Minkoo Kim, Ali H. Alsaffar, Jitender S. Deogun, Vijay V. Raghavan |
| 2000 | On the Complexity of Optimal Multisplitting. Tapio Elomaa, Juho Rousu |
| 2000 | Optimal Queries in Information Filtering. Ali H. Alsaffar, Jitender S. Deogun, Hayri Sever |
| 2000 | PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. Alfredo Cruz |
| 2000 | Parametric Algorithms for Mining Share-Frequent Itemsets. Brock Barber, Howard J. Hamilton |
| 2000 | Perception-Based Granularity Levels in Concept Representation. Lorenza Saitta, Jean-Daniel Zucker |
| 2000 | Planning while Executing: A Constraint-Based Approach. Rosy Barruffi, Michela Milano, Paolo Torroni |
| 2000 | Prediction of Ordinal Classes Using Regression Trees. Stefan Kramer, Gerhard Widmer, Bernhard Pfahringer, Michael de Groeve |
| 2000 | Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving. Katsuaki Tanaka, Michiko Higashiyama, Setsuo Ohsuga |
| 2000 | Qualitative Discovery in Medical Databases. David A. Maluf, Jiming Liu |
| 2000 | Refining Logic Theories under OI-Implication. Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro |
| 2000 | Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change. Jennifer Kashmirian, Lin Padgham |
| 2000 | Repository Management in an Intelligent Indexing Approach for Multimedia Digital Libraries. Barbara Armani, Elisa Bertino, Barbara Catania, D. Laradi, B. Marin, Gian Piero Zarri |
| 2000 | Rule Based Abduction. Sai Kiran Lakkaraju, Yan Zhang |
| 2000 | Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach. Aijun An, Nick Cercone |
| 2000 | Signature-Based Indexing for Retrieval by Spatial Content in Large Essam A. El-Kwae |
| 2000 | Template Generation for Identifying Text Patterns. Cécile Boisson, Nahid Shahmehri |
| 2000 | Temporal Data Mining Using Hidden Periodicity Analysis. Weiqiang Lin, Mehmet A. Orgun |
| 2000 | Top-Down Query Processing in First Order Deductive Databases under the DWFS. C. A. Johnson |
| 2000 | Towards Musical Data Classification via Wavelet Analysis. Alicja Wieczorkowska |
| 2000 | Towards a Software Architecture for Case-Based Reasoning Systems. Enric Plaza, Josep Lluís Arcos |
| 2000 | Using Closed Itemsets for Discovering Representative Association Rules. Jamil Saquer, Jitender S. Deogun |
| 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 | What the Logs Can Tell You: Mediation to Implement Feedback in Training. David A. Maluf, Gio Wiederhold |