Introduction: Progress in formal commonsense reasoning.

Ernest Davis Leora Morgenstern

Published in: Artif. Intell. (2004)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
event calculus
incomplete information
knowledge representation
formal theory
autoepistemic logic
artificial intelligence
classical logic
logic programs
formal specification
missing information