15th KR 2016: Cape Town, South Africa

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics