5. AIMSA 1992: Sofia, Bulgaria

Automated Reasoning

Logic Methods in AI

Machine Learning

Neural Networks

Natural Language Processing

Knowledge Based Systems - Methods and Architectures

Applications of Knowledge Based Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics