The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.
Edwin M. WestbrookAaron StumpEvan AustinPublished in: LFMTP (2009)
Keyphrases
- inductive learning
- machine learning
- concept learning
- higher order
- multiresolution
- encoding scheme
- logic programs
- logic programming
- query evaluation
- inductive logic programming
- neural network
- inductive inference
- datalog programs
- proof procedure
- automated deduction
- algebraic structure
- inductive reasoning
- deductive reasoning
- functional programs