Benchmarks for Automated Commonsense Reasoning: A Survey.

Published in: CoRR (2023)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
incomplete information
event calculus
knowledge representation
formal theory
autoepistemic logic
logic programming
general purpose
partially ordered
classical logic
missing information