The role of logic in knowledge representation and commonsense reasoning (1982)

by R C Moore
Venue:In AAAI