16th KR 2018: Tempe, Arizona, USA

Refine list

showing all ?? records

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