A Language for Describing Actions (1993)

by V Lifschitz
Venue:In Proceedings 2nd Symposium on Logical Formalizations of Commonsense Reasoning