Sneps: A logic for natural language understanding and commonsense reasoning (2000)

by S C Shapiro
Venue:Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language