Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014).
Andrej BauerUlrich BergerWillem L. FouchéDieter SpreenHideki TsuikiMartin ZieglerPublished in: J. Log. Anal. (2017)
Keyphrases
- special issue
- neural network
- computational cost
- computational complexity
- online learning
- orders of magnitude
- significant improvement
- data structure
- case study
- e learning
- data sets
- logic programming
- computationally efficient
- theoretical analysis
- machine learning algorithms
- artificial intelligence
- times faster
- machine learning
- future directions
- international workshop