21. KI 1997: Freiburg

Invited Talks

Theorem Proving

Nonclassical Logics

Knowledge Representation

Spatial Reasoning

Computational Linguistics

Computer Perception / Neural Nets

Planning, Diagnosis, and Search

Posters

maintained by Schloss Dagstuhl LZI at University of Trier