Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems.
Uluc SaranliFrank PfenningPublished in: ICRA (2007)
Keyphrases
- linear logic
- planning problems
- heuristic search
- domain independent
- state space
- fixed point
- ai planning
- desirable properties
- planning domains
- planning systems
- logic programming
- logical framework
- sequent calculus
- solving planning problems
- classical planning
- mobile robot
- causal graph
- partial observability
- cut elimination
- orders of magnitude
- domain specific
- htn planning
- knowledge base
- fuzzy set theory
- belief revision
- software engineering
- knowledge representation
- deterministic domains