- 2001
- Hideo Bannai, Yoshinori Tamada, Osamu Maruyama, Satoru Miyano:
HypothesisCreator: Concepts for Accelerating the Computational Knowledge Discovery Process. Electron. Trans. Artif. Intell. 5(B): 73-83 (2001) - Christopher H. Bryant, Stephen H. Muggleton, Stephen G. Oliver, Douglas B. Kell, Philip G. K. Reiser, Ross D. King:
Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electron. Trans. Artif. Intell. 5(B): 1-36 (2001) - Jacques Cohen:
Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. Electron. Trans. Artif. Intell. 5(B): 161-188 (2001) - A. P. Cootes, Stephen H. Muggleton, R. B. Greaves, Michael J. E. Sternberg:
Automatic determination of protein fold signatures from structural superpositions. Electron. Trans. Artif. Intell. 5(B): 245-274 (2001) - Ross D. King, Nathalie Marchand-Geneste, Bjørn K. Alsberg:
A quantum mechanics based representation of molecules for machine inference. Electron. Trans. Artif. Intell. 5(B): 127-142 (2001) - Ikuo Kobayashi, Koichi Furukawa, Tomonobu Ozaki, Mutsumi Imai:
A Bootstrapping Model for Children's Vocabulary Acquisition using Inductive Logic Programming. Electron. Trans. Artif. Intell. 5(B): 47-72 (2001) - Donald Michie:
Return of the Imitation Game. Electron. Trans. Artif. Intell. 5(B): 203-221 (2001) - Nils J. Nilsson:
Teleo-Reactive Programs and the Triple-Tower Architecture. Electron. Trans. Artif. Intell. 5(B): 99-110 (2001) - Philip G. K. Reiser, Ross D. King, Douglas B. Kell, Stephen H. Muggleton, Christopher H. Bryant, Stephen G. Oliver:
Developing a Logical Model of Yeast Metabolism. Electron. Trans. Artif. Intell. 5(B): 223-244 (2001) - Zhanna Reznikova, Boris Ryabko:
A Study of Ants' Numerical Competence. Electron. Trans. Artif. Intell. 5(B): 111-126 (2001) - Boris Ryabko:
The nonprobabilistic approach to learning the best prediction. Electron. Trans. Artif. Intell. 5(B): 37-45 (2001) - Claude Sammut:
Managing Context in a Conversational Agent. Electron. Trans. Artif. Intell. 5(B): 189-202 (2001) - Erik Sandewall:
On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5(B): 143-160 (2001) - Steffen Schulze-Kremer:
Ontologies for Molecular Biology. Electron. Trans. Artif. Intell. 5(B): 85-97 (2001) - 2000
- Martin F. van Bommel, T. J. Beck:
Incremental Encoding of Multiple Inheritance Hierarchies Supporting Lattice Operations. Electron. Trans. Artif. Intell. 4(C): 35-49 (2000) - Simon Colton:
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000) - Peter W. Eklund, Richard J. Cole II:
A Knowledge Representation for Information Filtering Using Formal Concept Analysis. Electron. Trans. Artif. Intell. 4(C): 51-61 (2000) - Makoto Haraguchi, Yoshiaki Okubo, Tokuyasu Kakuta:
A Logical Foundation of Metaphoric Search Based on Abstraction Approach. Electron. Trans. Artif. Intell. 4(B): 53-81 (2000) - John W. Lloyd:
Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000) - Donald Michie:
It Takes Two (At Least) to Tango. Electron. Trans. Artif. Intell. 4(B): 1-19 (2000) - Guy W. Mineau, Akshay Bissoon, Robert Godin:
Simple Pre- and Post-Pruning Techniques for Large Conceptual Clustering Structures. Electron. Trans. Artif. Intell. 4(C): 1-20 (2000) - Stephen H. Muggleton:
Learning Stochastic Logic Programs. Electron. Trans. Artif. Intell. 4(B): 141-153 (2000) - Massimo Paolucci, Onn Shehory, Katia P. Sycara:
Interleaving Planning and Execution in a Multiagent Team Planning Environment. Electron. Trans. Artif. Intell. 4(A): 23-43 (2000) - Uta Priss:
Faceted Knowledge Representation. Electron. Trans. Artif. Intell. 4(C): 21-33 (2000) - Dorian Suc, Ivan Bratko:
Qualitative Trees Applied to Bicycle Riding. Electron. Trans. Artif. Intell. 4(B): 125-140 (2000) - Marcel Turcotte, Stephen H. Muggleton, Michael J. E. Sternberg:
Use of Inductive Logic Programming to Learn Principles of Protein Structure. Electron. Trans. Artif. Intell. 4(B): 119-124 (2000) - Ken Ueno, Koichi Furukawa, Michael Bain:
Motor Skill as Dynamic Constraint Satisfaction. Electron. Trans. Artif. Intell. 4(B): 83-96 (2000) - Richard Washington, Keith Golden, John L. Bresina:
Plan Execution, Monitoring, and Adaptation for Planetary Rovers. Electron. Trans. Artif. Intell. 4(A): 3-21 (2000) - Simon White, Derek H. Sleeman:
A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose. Electron. Trans. Artif. Intell. 4(B): 155-183 (2000) - 1999
- Eyal Amir:
Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell. 3(C): 63-84 (1999)