Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.
Yannick ForsterDominik KirstNiklas MückPublished in: APLAS (2023)
Keyphrases
- oracle database
- inductive learning
- machine intelligence
- inductive inference
- inductive logic programming
- machine learning
- database administration
- turing machine
- oracle database administration
- database
- automated deduction
- intrinsic complexity
- deductive reasoning
- case study
- database security
- inductive reasoning
- algebraic structure
- object relational
- proof procedure
- genetic algorithm
- expressive power
- formal language
- microsoft sql server
- data structure
- knowledge representation
- object oriented