Well-definedness and observational equivalence for inductive-coinductive programs.
Henning BasoldHelle Hvid HansenPublished in: J. Log. Comput. (2019)
Keyphrases
- functional programs
- recursive programs
- machine learning
- inductive inference
- inductive learning
- automatic programming
- inductive logic programming
- computer programs
- rough sets
- search algorithm
- real world
- image sequences
- case study
- inductive reasoning
- deductive reasoning
- search engine
- learning algorithm
- interactive dynamic influence diagrams