PDDL+ Planning via Constraint Answer Set Programming.
Marcello BalducciniDaniele MagazzeniMarco MarateaPublished in: CoRR (2016)
Keyphrases
- answer set programming
- ai planning
- planning domains
- planning problems
- logic programs
- derived predicates
- logic programming
- planning systems
- answer sets
- constraint logic programming
- soft constraints
- temporal planning
- causal theories
- global constraints
- constraint solving
- answer set programs
- stable model semantics
- domain independent
- classical planning
- stable models
- update semantics
- situation calculus
- linear constraints
- plan generation
- orders of magnitude
- knowledge representation
- haplotype inference
- general purpose
- machine learning
- durative actions
- lower bound
- search space
- constraint satisfaction problems