14th KR 2014: Vienna, Austria

Refine list

showing all ?? records

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