GolerP - A Logic Programming Tool for Inductive Inference.
Hans-Rainer BeickVentsislav StankovPublished in: GOSLER Final Report (1995)
Keyphrases
- inductive inference
- programming tool
- recursive functions
- development tools
- programming language
- intrinsic complexity
- kolmogorov complexity
- languages from positive data
- text to speech
- grammatical inference
- exception handling
- case based learning
- learning from positive data
- transductive inference
- hypothesis spaces
- algebraic structures
- proof theory
- pattern languages
- object oriented
- data model
- artificial intelligence
- machine learning
- database