Computing higher order exclusion relations in propositional planning.
Ioannis RefanidisIlias SakellariouPublished in: J. Exp. Theor. Artif. Intell. (2013)
Keyphrases
- higher order
- higher order relations
- strips planning
- natural images
- horn clauses
- pairwise
- decision support
- heuristic search
- planning problems
- high order
- low order
- semantic relations
- causal graph
- temporal relations
- neural network
- motion planning
- propositional logic
- planning systems
- domain independent
- stochastic domains
- first order logic
- knowledge base