16th KR 2018: Tempe, Arizona, USA

Refine list

showing all ?? records

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