Soundness and Completeness Theorems for Three Formalizations of Action.

G. Neelakantan Kartha

Browse the full IJCAI paper archive.