Encoding of Planning Problems and Their Optimizations in Linear Logic.
Lukás ChrpaPavel SurynekJirí VyskocilPublished in: INAP/WLP (2007)
Keyphrases
- planning problems
- linear logic
- solving planning problems
- heuristic search
- domain independent
- state space
- logical framework
- fixed point
- planning domains
- ai planning
- cut elimination
- logic programming
- sequent calculus
- sat encodings
- planning systems
- inference rules
- partial observability
- deterministic domains
- probabilistic planning
- search algorithm
- htn planning
- causal graph
- artificial intelligence
- desirable properties
- domain specific
- software engineering
- object oriented
- stochastic domains
- concurrent actions
- belief revision
- logic programs