Representing concurrent actions in extended logic programming (1993)

by C Baral, M Gelfond
Venue:In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93