12th KR 2010: Toronto, Ontario, Canada

Refine list

showing all ?? records

Invited Presentations

Abduction and Diagnosis

Agents, Multiagent Systems, and Distributed Reasoning


Belief Change, Counterfactuals, and Update

Decision Theory

Description Logics and Ontologies

Inconsistency Handling


Possibility Theory and Uncertainty


Reasoning about Action and Action Programs

Rule-Based Reasoning, Logic Programming, and Answer Set Programming

Security, Spatial Reasoning, and Analogical Reasoning

Short Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics