Coverage and competency in formal theories: A commonsense theory of memory (2003)

by Andrew S Gordon, Jerry R Hobbs
Venue:Proceedings, AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning