13. KR 2012: Rome, Italy

Answer Set Programming and Logic Programming

Argumentation

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

Uncertainty

Reports from the Field

Short Papers