AI*IA 2016: Genova, Italy

Optimization and Evolutionary Algorithms

Classification, Pattern Recognition, and Computer Vision

Multi-agent Systems

Knowledge Representation and Reasoning

Machine Learning

Semantic Web and Description Logics

Natural Language Processing

Planning and Scheduling

Formal Verification

maintained by Schloss Dagstuhl LZI at University of Trier