18. KI 1994:
Saarbrücken
Bernhard Nebel, Leonie S. Dreschler-Fischer (Eds.):
KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings.
Lecture Notes in Computer Science 861 Springer 1994, ISBN 3-540-58467-6 BibTeX
@proceedings{DBLP:conf/ki/1994,
editor = {Bernhard Nebel and
Leonie S. Dreschler-Fischer},
title = {KI-94: Advances in Artificial Intelligence, 18th Annual German
Conference on Artificial Intelligence, Saarbr{\"u}cken, Germany,
September 18-23, 1994, Proceedings},
booktitle = {KI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {861},
year = {1994},
isbn = {3-540-58467-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Selected Papers
Neural Network Applications
Logic Programming
Natural Language
Machine Learning
Knowledge Representation
- Thomas Fuhr, Franz Kummert, Gerhard Sagerer:
Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques.
130-141 BibTeX
- Volker Haarslev, Ralf Möller, Carsten Schröder:
Combining Spatial and Terminological Reasoning.
142-153 BibTeX
- Jörg Walter Schaaf:
Detecting Gestalts in CAD-Plans to be Used as Indices for Case-Retrieval in Architecture.
154-165 BibTeX
- Erich Schikuta:
The NeuDB-System: Towards the Integration of Neural Networks and Database Systems.
166-177 BibTeX
- Joachim Quantz, Sven Suska:
Weighted Defaults in Description Logics: Formal Properties and Proof Theory.
178-189 BibTeX
- Andreas Becker, Gerhard Lakemeyer:
Epistemic Queries in Classic.
190-201 BibTeX
- Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Communicating Rational Agents.
202-213 BibTeX
- Josef Meyer-Fujara, Barbara Heller, Sonja Schlegelmilch, Ipke Wachsmuth:
Knowledge-Level Modularization of a Complex Knowledge Base.
214-225 BibTeX
- Witold Lukaszewicz, Ewa Madalinska-Bugaj:
Program Verification Techniques as a Tool for Reasoning about Action and Change.
226-236 BibTeX
- Luis Fariñas del Cerro, Andreas Herzig:
A Conditional Logic for Updating in the Possible Models Approach.
237-247 BibTeX
Non-monotonic Reasoning
Reasoning
Posters
Copyright © Sat May 16 23:28:10 2009
by Michael Ley (ley@uni-trier.de)
