Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions.
Wolfram PohlersPublished in: J. Symb. Log. (1978)
Keyphrases
- formal models
- machine learning
- connected components
- inductive learning
- theoretical framework
- databases
- formal analysis
- formal model
- knowledge representation languages
- cognitive psychology
- formal methods
- formal specification
- inductive logic programming
- knowledge acquisition
- data model
- case study
- computational models
- concept learning
- mathematical models
- domain theory
- binary images
- rule learning
- theory revision
- mathematical theory
- design theory
- information systems