Login / Signup

Benchmarks for Automated Commonsense Reasoning: A Survey.

Ernest Davis
Published in: ACM Comput. Surv. (2024)
Keyphrases
  • commonsense reasoning
  • nonmonotonic reasoning
  • knowledge representation
  • event calculus
  • incomplete information
  • formal theory
  • classical logic
  • automated reasoning
  • machine learning
  • high level
  • missing information