AI Communications, Volume 15

Volume 15, Number 1, 2002

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

Volume 15, Number 2-3, 2002

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

Volume 15, Number 4, 2002

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