A Simple Method for Commonsense Reasoning.

Trieu H. Trinh Quoc V. Le

Published in: CoRR (2018)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
event calculus
knowledge representation
incomplete information
formal theory
classical logic
deductive databases
expert systems
belief revision
autoepistemic logic
propositional logic