An Extension of Explanation-Based Generalization to Negation as Failure.
Stefan SchrödlPublished in: KI (1995)
Keyphrases
- explanation based generalization
- logic programming
- partial evaluation
- domain theory
- modal logic
- logic programs
- higher order
- artificial intelligence
- deductive databases
- general purpose
- supervised learning
- software engineering
- unsupervised learning
- data model
- keywords
- feature selection
- databases
- semantics for logic programs