Polynomial-Time Learning in Logic Programming and Constraint Logic Programming.
Michèle SebagCéline RouveirolPublished in: Inductive Logic Programming Workshop (1996)
Keyphrases
- logic programming
- constraint logic programming
- logic programming language
- logic programs
- answer set programming
- constraint solving
- inductive logic programming
- knowledge base
- reasoning about actions
- reinforcement learning
- knowledge representation
- general purpose
- answer sets
- constraint propagation
- nonmonotonic reasoning
- computational logic
- stable models
- deductive databases
- background knowledge
- programming language
- expert systems
- computational complexity