A Framework for Bottom Up Specialisation of Logic Programs.
Wim VanhoofDanny De SchreyeBern MartensPublished in: PLILP/ALP (1998)
Keyphrases
- logic programs
- logic programming
- abductive logic programming
- abductive reasoning
- stable models
- answer sets
- inductive logic programming
- normal logic programs
- extended logic programs
- background knowledge
- answer set programming
- partial deduction
- prolog programs
- logic program updates
- magic sets
- computational properties
- horn clauses
- fixpoint