Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151].
S. Barry CooperLeo HarringtonAlistair H. LachlanSteffen LemppRobert I. SoarePublished in: Ann. Pure Appl. Log. (2017)
Keyphrases
- artificial neural networks
- using artificial neural networks
- neural network
- logic programming
- classical logic
- multi valued
- machine learning
- genetic algorithm
- genetic algorithm ga
- feed forward neural networks
- ann models
- defeasible logic
- stereo correspondence
- formal theory
- multilayer perceptron
- modal logic
- back propagation
- real time
- data sets
- optical flow fields
- set theory
- sound and complete axiomatization
- dense optical flow
- logical framework
- probability theory
- neural nets
- feed forward
- radial basis function
- artificial intelligence
- learning algorithm