Optimizing Horn Clause Logic Programs for Particular Modes of Use: An Analysis of Explanation-Based Learning and Partial Evaluation.
Carl Gustaf JanssonHenrik BoströmPeter Idestam-AlmquistPublished in: SCAI (1991)
Keyphrases
- logic programs
- horn clauses
- explanation based learning
- logic programming
- partial evaluation
- domain theory
- explanation based generalization
- answer sets
- stable models
- answer set programming
- background knowledge
- machine learning
- inference rules
- general purpose
- inductive logic programming
- inductive learning
- first order logic
- data points