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