Reasoning agents in dynamic domains (1993)

by C Baral, M Gelfond
Venue:In Proceedings of International Logic Programming Symposium