Disjunction in Plan Generation by Equational Logic Programming.
Stefan BrüningGerd GroßeSteffen HölldoblerJosef SchneebergerUte Cornelia SigmundMichael ThielscherPublished in: PuK (1993)
Keyphrases
- plan generation
- logic programming
- semantics of logic programs
- logic programs
- deductive databases
- theorem proving
- procedural semantics
- plan recognition
- nonmonotonic reasoning
- answer set programming
- logic programming language
- answer sets
- knowledge representation
- programming language
- planning problems
- inductive logic programming
- horn clauses
- knowledge base
- temporal planning
- theorem prover
- default logic
- constraint logic programming
- defeasible argumentation
- declarative semantics
- reasoning about actions
- stable models
- fixpoint
- temporal reasoning
- qualitative and quantitative
- integrity constraints
- general purpose
- multi agent systems
- search algorithm