Further results and examples for formal mathematical systems with structural induction.
Matthias KunikPublished in: CoRR (2020)
Keyphrases
- complex systems
- distributed systems
- genetic algorithm
- concept learning
- case study
- learning environment
- logic programs
- inductive logic programming
- knowledge acquisition
- dynamic aspects
- formal methods
- inductive learning
- training examples
- building blocks
- knowledge based systems
- database
- database systems
- e learning
- machine learning
- data sets