8. EPIA 1997: Coimbra, Portugal

Automated Reasoning and Theorem Proving

Case Based Reasoning and Machine Learning

Constraints

Intelligent Tutoring Systems and Training

Knowledge Representation

Multi-Agent Systems and Distributed Artificial Intelligence

Non-Monotonic Reasoning

Problem Solving

Qualitative Reasoning

Temporal Reasoning

Posters (extended abstracts)

Invited Talks

a service of Schloss Dagstuhl - Leibniz Center for Informatics