Basic Forward Chaining Construction for Logic Programs.
V. Wiktor MarekAnil NerodeJeffrey B. RemmelPublished in: LFCS (1997)
Keyphrases
- logic programs
- forward chaining
- horn clauses
- logic programming
- answer sets
- fixpoint
- background knowledge
- answer set programming
- inductive logic programming
- defeasible logic
- stable models
- planning systems
- partial deduction
- normal logic programs
- blocks world
- artificial intelligence
- theorem proving
- planning graph
- information systems
- databases