| 2000 | 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada |
| 2000 | A distributed multimedia knowledge based environment for modeling over the Internet. Stephen W. Ryan, Arvind K. Bansal, T. Kapoor |
| 2000 | A genetic algorithm-based system for generating test programs for microprocessor IP cores. Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante |
| 2000 | A heuristic search based factoring tool. Clifton Davis, Christoph F. Eick |
| 2000 | A knowledge based system: an object case approach. Guilaine Talens, Danielle Boulanger, Isabelle Dedun |
| 2000 | A new statistical method for performance evaluation of search engines. Longzhuang Li, Yi Shang |
| 2000 | A reactive method for real time dynamic vehicle routing problem. Kenny Qili Zhu, Kar-Loon Ong |
| 2000 | A synergistic model for interpreting human activities and events from video: a case study. Nikolaos G. Bourbakis, George Bebis, James R. Gattiker |
| 2000 | A visualization tool for interactive learning of large decision trees. Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira |
| 2000 | About the use of local consistency in solving CSPs. Assef Chmeiss, Lakhdar Sais |
| 2000 | An approach to incremental SVM learning algorithm. Rong Xiao, Jicheng Wang, Fuyan Zhang |
| 2000 | An assumptive logic programming methodology for parsing. Kimberly D. Voll, Tom P. Yeh, Verónica Dahl |
| 2000 | Automated reasoning on monotonic constraints. Lucas Bordeaux, Frédéric Benhamou |
| 2000 | Belief revision and possibilistic logic for adaptive information filtering agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong |
| 2000 | Building efficient partial plans using Markov decision processes. Pierre Laroche |
| 2000 | Cognitively adequate modelling of spatial reference in human-robot interaction. Reinhard Moratz, Kerstin Fischer |
| 2000 | Combining heuristics for default logic reasoning systems. Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
| 2000 | Combining models across algorithms and samples for improved results. Haleh Vafaie, Dean Abbott, Mark Hutchins, I. Philip Matkovsky |
| 2000 | Combining various algorithms to solve the ship berthing problem. Kai Song Goh, Andrew Lim |
| 2000 | Consistency checking for Euclidean spatial constraints: a dimension graph approach. Xuan Liu, Shashi Shekhar, Sanjay Chawla |
| 2000 | Constrained genetic algorithms and their applications in nonlinear constrained optimization. Benjamin W. Wah, Yi-Xin Chen |
| 2000 | DGPS/INS integration using neural network methodology. Faroog Ibrahim, Anya Lynn Tascillo, Nizar Al-Holou |
| 2000 | Debugging knowledge-based applications with a generic toolkit. Susan Craw, Robin Boswell |
| 2000 | Designing a learning-automata-based controller for client/server systems: a methodology. Georgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis |
| 2000 | Efficient defeasible reasoning systems. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
| 2000 | Efficient prediction of interconnect crosstalk using neural networks. Abby A. Ilumoka |
| 2000 | From data mining to rule refining A new tool for post data mining rule optimisation. Ed Keedwell, Florian Bessler, Ajit Narayanan, Dragan A. Savic |
| 2000 | Function approximation based multi-agent reinforcement learning. Osman Abul, Faruk Polat, Reda Alhajj |
| 2000 | Fuzzy cellular automata: from theory to applications. Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec |
| 2000 | GA Tree: genetically evolved decision trees. Athanassios Papagelis, Dimitrios Kalles |
| 2000 | Heuristics for the exam scheduling problem. Zhaohui Fu, Andrew Lim |
| 2000 | History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. Khaled Ben Lamine, Froduald Kabanza |
| 2000 | Identifying causal structure in a biological neural network. Anthony S. Maida |
| 2000 | Implementing an action language using a SAT solver. Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda |
| 2000 | Intelligent content-based retrieval. Chabane Djeraba, Cherif El Asri Mohamed |
| 2000 | Interactive generalization of a translation example using queries based on a semantic hierarchy. Yasuhiro Akiba, Hiromi Nakaiwa, Satoshi Shirai, Yoshifumi Ooyama |
| 2000 | Interpretation of self-organizing maps with fuzzy rules. Mario Drobics, Werner Winiwarter, Ulrich Bodenhofer |
| 2000 | JADE - AI Support for Debugging Java Programs. Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 2000 | Knowledge pruning in decision trees. Isamu Shioya, Takao Miura |
| 2000 | Learning methods for online-process diagnosis. Patrick Feucht, Johann Marius Zöllner, Karsten Berns, Torsten Zirzlaff, Oskar Leisin |
| 2000 | Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. Kazunori Mizuno, Seiichi Nishihara |
| 2000 | Local search algorithm for the compacted cells area problem. Dennis Joshua Chia, Andrew Lim |
| 2000 | Meta-constraints on violations for over constrained problems. Thierry Petit, Jean-Charles Régin, Christian Bessière |
| 2000 | Model selection via meta-learning: a comparative study. Alexandros Kalousis, Melanie Hilario |
| 2000 | Modeling software quality: the Software Measurement Analysis and Reliability Toolkit. Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom |
| 2000 | Multi-objective retrieval of object pose from video. Alireza Nasiri Avanaki, Babak Hamidzadeh, Faouzi Kossentini |
| 2000 | Multi-resolution on compressed sets of clauses. Philippe Chatalic, Laurent Simon |
| 2000 | Object tracking and multimedia augmented transition network for video indexing and modeling. Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap |
| 2000 | Parallel mining of association rules with a Hopfield type neural network. Jaafar Gaber, Jacques M. Bahi, Tarek A. El-Ghazawi |
| 2000 | Principles for mining summaries using objective measures of interestingness. Robert J. Hilderman, Howard J. Hamilton |
| 2000 | Reasoning about numeric and symbolic time information. Malek Mouhoub |
| 2000 | Reverse mapping of referral links from storage hierarchy for Web documents. Chen Ding, Chi-Hung Chi, Vincent W. L. Tam |
| 2000 | Self-optimising CBR retrieval. Jacek Jarmulak, Susan Craw, Ray Rowe |
| 2000 | Strategies for optimizing image processing by genetic and evolutionary computation. Hisashi Shimodaira |
| 2000 | Support based measures applied to ice hockey scoring summaries. Bradley P. Kram, James A. Hall, Howard J. Hamilton |
| 2000 | Texture image segmentation method based on multilayer CNN. Guoxiang Liu, Shunichiro Oe |
| 2000 | The application of a machine learning tool to the validation of an air traffic control domain theory. Margaret Mary West, Thomas Leo McCluskey |
| 2000 | The n-dimensional projective approach as a tool for spatial reasoning. Jorge Pais, Carlos A. Pinto-Ferreira |
| 2000 | The probably approximately correct (PAC) population size of a genetic algorithm. Arturo Hernández Aguirre, Bill P. Buckles, Antonio Martínez-Alcántara |
| 2000 | Tools for intelligent decision support system development in the legal domain. Andrew Stranieri, John Zeleznikow |
| 2000 | Transforming supervised classifiers for feature extraction. Borisas Bursteinas, James Allen Long |
| 2000 | Using Bayesian classifier in relevant feedback of image retrieval. Zhong Su, HongJiang Zhang, Shaoping Ma |
| 2000 | Using heuristic-based optimizers to handle the personal computer configuration problems. Vincent W. L. Tam, Keng Teck Ma |
| 2000 | Using latent semantic analysis to identify similarities in source code to support program understanding. Jonathan I. Maletic, Andrian Marcus |
| 2000 | Vision based localisation for a mobile robot. Franck Gechter, François Charpillet |
| 2000 | What's new? Using prior models as a measure of novelty in knowledge discovery. Jeremy Ludwig, Gary Livingston, Emmanouil Vozalis, Bruce G. Buchanan |