16th KR 2018: Tempe, Arizona, USA

Answer Set Programming and Logic Programming

Argumentation

Automated Reasoning and Computation

Belief Revision and Nonmonotonicity

Decision Theory, Rationality

Description Logics

Planning, Strategies, and Diagnosis

Reasoning about Actions, Causality

Reasoning about Knowledge and Belief

Temporal and Spatial Reasoning

Uncertainty

Extended Abstracts

a service of Schloss Dagstuhl - Leibniz Center for Informatics