Symbolic Dynamic Programming for First-Order MDPs.

Craig Boutilier, Raymond Reiter, Bob Price

Browse the full IJCAI paper archive.