14th KR 2014: Vienna, Austria

Answer Set Programming and Logic Programming

Argumentation

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

Uncertainty

Short Papers

Invited Talks

a service of Schloss Dagstuhl - Leibniz Center for Informatics