Logic Program Specialisation With Deletion of Useless Clauses.
D. Andre de WaalJohn P. GallagherPublished in: ILPS (1993)
Keyphrases
- logic programs
- horn clauses
- propositional theories
- background knowledge
- logic programming
- answer sets
- fixpoint
- computational properties
- stable models
- computational problems
- normal logic programs
- answer set programming
- first order logic
- search space
- inductive logic programming
- prolog programs
- existentially quantified
- logic programming language
- general logic programs
- ilp systems
- declarative semantics
- answer set semantics
- loop formulas
- abductive reasoning
- programming language