12. KR 2010:
Toronto, Ontario, Canada
Agents, Multiagent Systems, and Distributed Reasoning
Belief Change, Counterfactuals, and Update
Description Logics and Ontologies
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.