Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach.
Peep KüngasPublished in: SBIA (2004)
Keyphrases
- planning problems
- linear logic
- partial deduction
- logic programs
- planning systems
- logic programming
- ai planning
- domain independent
- heuristic search
- state space
- artificial intelligence
- planning domains
- fixed point
- cut elimination
- solving planning problems
- answer set programming
- machine learning
- probabilistic planning
- htn planning
- sequent calculus
- expert systems
- answer sets
- inference rules
- logical framework
- causal graph
- deductive databases
- stochastic domains
- concurrent actions
- desirable properties
- binary decision diagrams
- domain specific