13. 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

maintained by Schloss Dagstuhl LZI at University of Trier