Quotient Inductive-Inductive Types.
Thorsten AltenkirchPaolo CapriottiGabe DijkstraNicolai KrausFredrik Nordvall ForsbergPublished in: FoSSaCS (2018)
Keyphrases
- inductive learning
- machine learning
- inductive inference
- inductive reasoning
- concept learning
- inductive logic programming
- control system
- inductive concept learning
- real time
- knowledge representation
- artificial neural networks
- search algorithm
- cooperative
- artificial intelligence
- databases
- functional programs
- data sets