A Decidable Theory Treating Addition of Differentiable Real Functions.
Gabriele BuriolaDomenico CantoneGianluca CincottiEugenio G. OmodeoGaetano T. SpartàPublished in: ICTCS (2021)
Keyphrases
- theoretical framework
- information systems
- general theory
- real world
- first order logic
- objective function
- decision making
- inference rules
- theoretical foundation
- computational model
- loss function
- real life
- expert systems
- support vector
- database
- computer vision
- social networks
- artificial intelligence
- genetic algorithm
- information retrieval
- machine learning
- data mining
- neural network
- data sets