AI Communications, Volume 15

Volume 15, Number 1, 2002

24. KI / 9. ÖGAI 2001: Wien, Austria

Thorsten Belker, Michael Beetz, Armin B. Cremers:
Learning of plan execution policies for indoor navigation. 3-16
Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
DiKe - a model-based diagnosis kernel and its application. 17-30
Gero Iwan:
History-based diagnosis templates in the framework of the situation calculus. 31-45
Ralf Küsters, Ralf Molitor:
Approximating most specific concepts in description logics with existential restrictions. 47-59
Thomas Ragg:
Bayesian learning and evolutionary parameter optimization. 61-74

Robert Nieuwenhuis:
The impact of CASC in the development of automated deduction systems. 77-78
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
The development of CASC. 79-90
Alexandre Riazanov, Andrei Voronkov:
The design and implementation of VAMPIRE. 91-110
Stephan Schulz:
E - a brainiac theorem prover. 111-126
Bernd Löchner, Thomas Hillenbrand:
A phytography of WALDMEISTER. 127-133
Kahlil Hodgson, John K. Slaney:
TPTP, CASC and the development of a semantically guided theorem prover. 135-146
Dominique Pastre:
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. 147-160
Gonzalo Ramos-Jiménez:
New developments in Inductive Learning. 161-162
Ginés Moreno:
Transformation Rules and Strategies for Functional-Logic Programs. 163-165

Thomas Eiter, Viviana Mascardi:
Comparing environments for developing software agents. 169-197
Tanja Urbancic, Maja Skrjanc, Peter A. Flach:
Web-based analysis of data mining and decision support education. 199-204
Jirí Wiedermann, Jan van Leeuwen:
The emergent computational potential of evolving artificial living systems. 205-215
Jan Ramon:
Clustering and instance based learning in first order logic. 217-218

Last update Fri May 25 08:52:32 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page