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

maintained by Schloss Dagstuhl LZI, founded at University of Trier