15. KR 2016: Cape Town, South Africa

Full Paper: Argumentation

Full Paper: Automated Reasoning and Computation

Full Paper: Belief Revision and Nonmonotonicity

Full Paper: Decision Theory, Rationality

Full Paper: Description Logics

Full Paper: Epistemic Reasoning

Full Paper: Knowledge Representation and Data Management

Full Paper: Planning, Strategies, and Diagnosis

Full Paper: Reasoning about Actions, Causality

Full Paper: Temporal and Spatial Reasoning

Full Paper: Uncertainty

Short Papers

maintained by Schloss Dagstuhl LZI at University of Trier