12. KR 2010: Toronto, Ontario, Canada

Invited Presentations

Abduction and Diagnosis

Agents, Multiagent Systems, and Distributed Reasoning

Argumentation

Belief Change, Counterfactuals, and Update

Decision Theory

Description Logics and Ontologies

Inconsistency Handling

Planning

Possibility Theory and Uncertainty

Preferences

Reasoning about Action and Action Programs

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

Security, Spatial Reasoning, and Analogical Reasoning

Short Papers