Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers.
Matej UrbasMateja JamnikPublished in: ITP (2011)
Keyphrases
- higher order
- theorem prover
- theorem proving
- natural images
- high order
- proof search
- markov random field
- pairwise
- low order
- equational theories
- natural deduction
- first order logic
- mathematical proofs
- inference rules
- web mining
- software engineering
- markov models
- loosely coupled
- decision procedures
- bayesian networks
- information retrieval
- machine learning
- real world