9. FoIKS 2016: Linz, Austria

Reasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency

Inference and Problem Solving

Querying and Pattern Mining

Dealing with Knowledge

Logics and Complexity

maintained by Schloss Dagstuhl LZI at University of Trier