Witold Lukaszewicz;Ewa Madalinska-Bugaj
-;-
Reasoning about plans
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action and change using Dijkstra's semantics for programming languages: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2