Login / Signup
Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic.
Rasmus Blanck
Published in:
Rev. Symb. Log. (2021)
Keyphrases
</>
hierarchical structure
machine learning
case study
expressive power
incomplete information
coarse to fine
arithmetic operations
real time
feature selection
first order logic
missing values
floating point
default theories
hierarchical structures