Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL.
Brian HuffmanOndrej KuncarPublished in: CPP (2013)
Keyphrases
- modular design
- theorem prover
- natural deduction
- inference rules
- theorem proving
- wavelet transform
- knowledge transfer
- first order logic
- transfer learning
- cut elimination
- cross domain
- higher order logic
- data sets
- text classification
- web services
- linear logic
- feature selection
- social networks
- sequent calculus
- data mining
- databases