Constructive Verification, Empirical Induction, and Falibilist Deduction: A Threefold Contrast.
Julio Michael SternPublished in: Inf. (2011)
Keyphrases
- machine learning
- theoretical analysis
- inference rules
- information theoretic
- inductive learning
- proof search
- formal verification
- version space
- face verification
- logic programs
- concept learning
- formal methods
- case study
- image processing
- program synthesis
- automated deduction
- verification method
- concurrent systems
- social networks