Abstraction of Nondeterministic Situation Calculus Action Theories.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance

Browse the full IJCAI paper archive.