A Finite Axiomatization of Inductive-Recursive Definitions.
Peter DybjerAnton SetzerPublished in: TLCA (1999)
Keyphrases
- recursive programs
- inductive inference
- recursively enumerable
- machine learning
- finite number
- complete axiomatization
- logic programs
- inductive learning
- inductive logic programming
- concept learning
- rule learning
- inductive reasoning
- knowledge representation
- deductive reasoning
- data sets
- real time
- social networks
- general theory
- transformation rules
- real world
- databases
- unit length