12. KR 2010:
Toronto, Ontario, Canada
: Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract).
Agents, Multiagent Systems, and Distributed Reasoning
Belief Change, Counterfactuals, and Update
Joseph Y. Halpern
: I Don't Want to Think About it Now: Decision Theory with Costly Computation.
Description Logics and Ontologies
: On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information.
Possibility Theory and Uncertainty
, Pavel Rusnok
: On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System.
Reasoning about Action and Action Programs
Rule-Based Reasoning, Logic Programming, and Answer Set Programming
, Yi Zhou
: On the Progression Semantics and Boundedness of Answer Set Programs.
Security, Spatial Reasoning, and Analogical Reasoning
: A Layered Graph Representation for Complex Regions.
: Towards a Logic of Feature-Based Semantic Science Theories.
, founded at