Derivation and Use of Induction Schemes in Higher-Order Logic.
Konrad SlindPublished in: TPHOLs (1997)
Keyphrases
- higher order logic
- higher order
- theorem prover
- conditional logic
- oblique decision trees
- logical framework
- inductive logic programming
- machine learning
- inductive learning
- automated reasoning
- logic programming
- belief revision
- general purpose
- answer set programming
- object oriented
- feature space
- decision trees
- artificial intelligence