domain | version | formulation |
---|---|---|
openstacks | propositional | PDDL |
openstacks | propositional | STRIPS |
openstacks | time | PDDL |
openstacks | time | STRIPS |
openstacks | metric, time | PDDL |
openstacks | metric, time | STRIPS |
openstacks | preferences (simple) | PDDL |
openstacks | preferences (qualitative) | PDDL |
pathways | propositional | PDDL |
pathways | propositional | STRIPS |
pathways | metric, time | PDDL |
pathways | preferences (simple) | PDDL |
pathways | preferences (complex) | PDDL |
pipesworld | propositional | PDDL |
pipesworld | propositional | STRIPS |
pipesworld | metric, time | PDDL |
pipesworld | metric, time, constraints | PDDL |
pipesworld | preferences (complex) | PDDL |
rovers | propositional | PDDL |
rovers | propositional | STRIPS |
rovers | metric, time | PDDL |
rovers | metric, preferences (simple) | PDDL |
rovers | preferences (qualitative) | PDDL |
storage | propositional | PDDL |
storage | time | PDDL |
storage | time, constraints | PDDL |
storage | preferences (simple) | PDDL |
storage | preferences (simple) | PDDL (grounded preferences) |
storage | preferences (qualitative) | PDDL |
storage | preferences (complex) | PDDL |
TPP | propositional | PDDL |
TPP | propositional | STRIPS |
TPP | metric | PDDL |
TPP | metric, time | PDDL |
TPP | metric, time, constraints | PDDL |
TPP | preferences (simple) | PDDL |
TPP | preferences (simple) | PDDL (grounded preferences) |
TPP | preferences (qualitative) | PDDL |
TPP | preferences (complex) | PDDL |
trucks | propositional | PDDL |
trucks | propositional | STRIPS |
trucks | time | PDDL |
trucks | time | STRIPS |
trucks | time, constraints | PDDL |
trucks | time, constraints | PDDL (timed initial literals) |
trucks | preferences (simple) | PDDL |
trucks | preferences (simple) | PDDL (grounded) |
trucks | preferences (simple) | PDDL (grounded preferences) |
trucks | preferences (qualitative) | PDDL |
trucks | preferences (complex) | PDDL |
In some cases, semantically identical, grounded formulations of the domain descriptions were provided.
For the trucks domain, a semantically identical formulation with timed initial literals instead of within constraints.
- renamed problem domains and instances for consistency