Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions.
M. MasseronPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- linear logic
- plan recognition
- fixed point
- sequent calculus
- initial state
- plan execution
- logic programming
- action sequences
- macro actions
- cut elimination
- proof theoretic
- desirable properties
- logical framework
- proof search
- decision theoretic
- intuitionistic logic
- three dimensional
- planning graph
- machine learning
- classical planning
- answer set programming
- inference rules
- sensing actions
- logic programs
- image segmentation