16th KR 2018: Tempe, Arizona, USA

Answer Set Programming and Logic Programming


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


Extended Abstracts

a service of Schloss Dagstuhl - Leibniz Center for Informatics