PDDL+ Planning via Constraint Answer Set Programming.

Marcello Balduccini Daniele Magazzeni Marco Maratea

Published 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