A First-Order Formalization of Commitments and Goals for Planning.

Felipe Meneguzzi, Pankaj R. Telang, Munindar P. Singh

Browse the full AAAI paper archive.