The Connectionist Inductive Learning and Logic Programming System.
Artur S. d'Avila GarcezGerson ZaveruchaPublished in: Appl. Intell. (1999)
Keyphrases
- inductive learning
- logic programming
- inductive logic programming
- logic programs
- knowledge acquisition
- expert systems
- knowledge representation
- deductive databases
- machine learning
- nonmonotonic reasoning
- answer set programming
- logic programming language
- knowledge base
- programming language
- default logic
- computational logic
- answer sets
- domain theory
- stable models
- normal logic programs
- background knowledge
- constraint logic programming
- pseudo boolean constraints
- general purpose
- reinforcement learning