Soundness and completeness theorems for three formalizations of action (1993)

by G Neelakantan Kartha
Venue:In Proceedings, Thirteenth International Joint Conference onArti cial Intelligence