Human and Unhuman Commonsense Reasoning.

Michael J. Maher

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
event calculus
incomplete information
knowledge representation
formal theory
human experts
classical logic
domain knowledge
domain specific
propositional logic