Event calculus (1985)

by G C Borchardt
Venue:In Proceedings of the Ninth International Joint Conference on Artificial Intelligence