Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks.
Magnus Baunsgaard KristensenRasmus Ejlers MøgelbergAndrea VezzosiPublished in: LICS (2022)
Keyphrases
- inductive learning
- inductive logic programming
- machine learning
- ranking algorithm
- inductive concept learning
- inductive inference
- functional programs
- inductive reasoning
- concept learning
- domain knowledge
- knowledge representation
- programming language
- image processing
- artificial intelligence
- databases
- higher quality
- constructive induction
- real time