Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.
Alessio GuglielmiPublished in: ICLP (1994)
Keyphrases
- relational databases
- plan generation
- logic programming language
- logic programming
- constraint logic programming
- plan recognition
- inference rules
- situation calculus
- planning problems
- plan execution
- temporal planning
- database systems
- logic programs
- heuristic search
- plan existence
- temporal reasoning
- domain specific
- knowledge representation
- temporal planner