Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.
Yannick ForsterDominik KirstNiklas MückPublished in: CoRR (2023)
Keyphrases
- inductive inference
- inductive learning
- oracle database
- machine intelligence
- inductive logic programming
- database security
- database
- intrinsic complexity
- monotonicity constraints
- computer algebra
- database administration
- inductive concept learning
- concept learning
- machine learning
- oracle database administration
- rule learning
- turing machine
- deductive reasoning
- database administrators
- automated deduction
- real numbers
- theorem prover
- data sets