- Khaled Ben Lamine, Froduald Kabanza:
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. ICTAI 2000: 312-319 - Pierre Laroche:
Building efficient partial plans using Markov decision processes. ICTAI 2000: 156-163 - Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong:
Belief revision and possibilistic logic for adaptive information filtering agents. ICTAI 2000: 19- - Longzhuang Li, Yi Shang:
A new statistical method for performance evaluation of search engines. ICTAI 2000: 208-215 - Guoxiang Liu, Shunichiro Oe:
Texture image segmentation method based on multilayer CNN. ICTAI 2000: 147-150 - Xuan Liu, Shashi Shekhar, Sanjay Chawla:
Consistency checking for Euclidean spatial constraints: a dimension graph approach. ICTAI 2000: 333- - Jeremy Ludwig, Gary Livingston, Emmanouil Vozalis, Bruce G. Buchanan:
What's new? Using prior models as a measure of novelty in knowledge discovery. ICTAI 2000: 86-89 - Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
Efficient defeasible reasoning systems. ICTAI 2000: 384-392 - Anthony S. Maida:
Identifying causal structure in a biological neural network. ICTAI 2000: 126- - Jonathan I. Maletic, Andrian Marcus:
Using latent semantic analysis to identify similarities in source code to support program understanding. ICTAI 2000: 46-53 - Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
JADE - AI Support for Debugging Java Programs. ICTAI 2000: 62- - Kazunori Mizuno, Seiichi Nishihara:
Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. ICTAI 2000: 366-369 - Reinhard Moratz, Kerstin Fischer:
Cognitively adequate modelling of spatial reference in human-robot interaction. ICTAI 2000: 222-228 - Malek Mouhoub:
Reasoning about numeric and symbolic time information. ICTAI 2000: 164-171 - Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec:
Fuzzy cellular automata: from theory to applications. ICTAI 2000: 320- - Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda:
Implementing an action language using a SAT solver. ICTAI 2000: 96-103 - Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira:
A visualization tool for interactive learning of large decision trees. ICTAI 2000: 28-35 - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Combining heuristics for default logic reasoning systems. ICTAI 2000: 393-400 - Jorge Pais, Carlos A. Pinto-Ferreira:
The n-dimensional projective approach as a tool for spatial reasoning. ICTAI 2000: 237- - Georgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis:
Designing a learning-automata-based controller for client/server systems: a methodology. ICTAI 2000: 422- - Athanassios Papagelis, Dimitrios Kalles:
GA Tree: genetically evolved decision trees. ICTAI 2000: 203- - Thierry Petit, Jean-Charles Régin, Christian Bessière:
Meta-constraints on violations for over constrained problems. ICTAI 2000: 358-365 - Stephen W. Ryan, Arvind K. Bansal, T. Kapoor:
A distributed multimedia knowledge based environment for modeling over the Internet. ICTAI 2000: 140-146 - Hisashi Shimodaira:
Strategies for optimizing image processing by genetic and evolutionary computation. ICTAI 2000: 151- - Isamu Shioya, Takao Miura:
Knowledge pruning in decision trees. ICTAI 2000: 40- - Andrew Stranieri, John Zeleznikow:
Tools for intelligent decision support system development in the legal domain. ICTAI 2000: 186-189 - Zhong Su, HongJiang Zhang, Shaoping Ma:
Using Bayesian classifier in relevant feedback of image retrieval. ICTAI 2000: 258-261 - Guilaine Talens, Danielle Boulanger, Isabelle Dedun:
A knowledge based system: an object case approach. ICTAI 2000: 190- - Vincent W. L. Tam, Keng Teck Ma:
Using heuristic-based optimizers to handle the personal computer configuration problems. ICTAI 2000: 108- - Haleh Vafaie, Dean Abbott, Mark Hutchins, I. Philip Matkovsky:
Combining models across algorithms and samples for improved results. ICTAI 2000: 344-351