A Procedural Logic.

Michael P. Georgeff, Amy L. Lansky, Pierre Bessire

Browse the full IJCAI paper archive.