Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
Paola BruscoliAlessio GuglielmiPublished in: GULP-PRODE (2) (1994)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- concurrency control
- planning problems
- heuristic search
- database systems
- nonmonotonic reasoning
- concurrent execution
- logic programs
- expressive power
- probabilistic model
- modal logic
- first order logic
- answer sets
- linear programming
- high level
- artificial intelligence