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

maintained by Schloss Dagstuhl LZI, founded at University of Trier