14th KR 2014: Vienna, Austria

Answer Set Programming and Logic Programming


Automated Reasoning and Computation

Belief Revision and Nonmonotonicity

Causality and Rationality

Description Logics

Knowledge Representation and Reasoning

Planning, Strategies, and Diagnosis

Reasoning about Actions and Processes

Reports from the Field


Short Papers

Invited Talks

a service of Schloss Dagstuhl - Leibniz Center for Informatics