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, founded at University of Trier