default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI 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 - 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
Volume 15, Number 2-3, 2002
- 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
Volume 15, Number 4, 2002
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
