Compiling and Executing PDDL in Picat.
Marco De BortoliRoman BartákAgostino DovierNeng-Fa ZhouPublished in: CILC (2016)
Keyphrases
- ai planning
- planning domains
- situation calculus
- definition language
- soft constraints
- planning systems
- derived predicates
- temporal planning
- data mining
- service composition
- global constraints
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- dynamic environments
- evolutionary algorithm
- website
- knowledge base