Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien RouhlingKazuhiko SakaguchiPublished in: IJCAR (2) (2020)
Keyphrases
- functional analysis
- shortest path
- strongly typed
- computational model
- theoretical framework
- theoretical basis
- object oriented
- theoretical foundation
- path finding
- artificial intelligence
- decision making
- e learning
- case study
- data model
- machine learning
- information theory
- object oriented databases
- neural network
- real time