zurück
SolvePSP - A solver for Partial Satisfaction Problems
Feldmann R.; Brewka G.; and Wenzel S. 2006. Planning with Prioritized Goals. In Proceedings of the Tenth International Conference of Principles of
Knowledge Representation and Reasoning (KR 2006), pages 503-514. AAAI Press, 2006.
An electronic version can be found here (Copyright
AAAI, 2006).
The use of the information below should please be acknowledged in any resulting publication with a quotation to our article in the list of references.
Ressources
- The PDDL2.1 depot domain file without numerical comparisons: noComp_DepotsNum.pddl
(see IPC 2002 for the original file)
- A problem file of this domain: pfile2
- A partial satisfaction problem in PDDL2.1*: PSP868.psp
This corresponds to Fig. 1 in our article.
- The translated PDDL2.1 domain: PSP_noComp_DepotsNum.pddl
This corresponds to Fig. 2 in our article.
- The translated PDDL2.1 problem file: PSP_pfile2
This corresponds to Fig. 3 in our article
- The mapping PSP-variables -> literals: PSP_variables
Link to the author's website
Gerhard Brewka
Robert Feldmann
Sandro Wenzel
E-mail
feldmann at phys dot ethz dot ch
zurück
12th January 2007