Learning from Entailment of Logic Programs with Local Variables.
M. R. K. Krishna RaoAbdul SattarPublished in: ALT (1998)
Keyphrases
- logic programs
- logic programming
- background knowledge
- monotonicity constraints
- answer set programming
- inductive logic programming
- existentially quantified
- term rewriting systems
- deductive databases
- answer sets
- query language
- computational properties
- function symbols
- np complete
- universally quantified
- partial deduction
- logic program updates