13th KR 2012: Rome, Italy

Refine list

showing all ?? records

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