Volume 15, Number 1, 2002
24. KI / 9. ÖGAI 2001:
Wien, Austria
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
Volume 15, Number 2-3, 2002
Robert Nieuwenhuis:
The impact of CASC in the development of automated deduction systems.
77-78
Dominique Pastre:
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC.
147-160
Ginés Moreno:
Transformation Rules and Strategies for Functional-Logic Programs.
163-165
Volume 15, Number 4, 2002
Jan Ramon:
Clustering and instance based learning in first order logic.
217-218
data released under the ODC-BY 1.0 license
