Reasoning about modular datatypes with Mendler induction.
Paolo TorriniTom SchrijversPublished in: FICS (2015)
Keyphrases
- data types
- database management systems
- data model
- data structure
- user defined
- database systems
- qualitative reasoning
- explanation based learning
- spatial reasoning
- data mining algorithms
- inductive learning
- databases
- modular neural networks
- modular structure
- formal theory
- rule induction
- expert systems
- version space
- constructive induction
- machine learning
- program synthesis
- dynamic systems
- multi agent
- information retrieval
- practical reasoning
- real world
- inductive reasoning
- real time