Intended Models, Circumscription and Commonsense Reasoning.

Wlodek Zadrozny

Published in: IJCAI (1987)

Keyphrases

commonsense reasoning
commonsense knowledge
nonmonotonic reasoning
event calculus
logic programs
knowledge representation
logic programming
default logic
classical logic
autoepistemic logic