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

maintained by Schloss Dagstuhl LZI at University of Trier