13th KR 2012: Rome, Italy

Answer Set Programming and Logic Programming


Automated Reasoning and Computation

Belief Revision and Update

Decision Making and Reasoning about Preferences

Description Logics

Epistemic and Modal Logics

Inconsistency-Tolerant and Similarity-Based Reasoning

Knowledge Representation and Knowledge-Based Systems

Reasoning about Actions and Planning

Spatial and Temporal Reasoning


Reports from the Field

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics