Verifying ConGolog Programs on Bounded Situation Calculus Theories.

Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Sebastian Sardia

Browse the full AAAI paper archive.