Representing concurrent actions in extended logic programming (1993)

by C Baral, M Gelfond
Venue:In Proceedings of the Thirteenth International Joint Conference onArti cial Intelligence