Acquisition of Phrase Correspondences using Natural Deduction Proofs.
Hitomi YanakaKoji MineshimaPascual Martínez-GómezDaisuke BekkiPublished in: CoRR (2018)
Keyphrases
- natural deduction
- theorem prover
- cut elimination
- inference rules
- theorem proving
- sequent calculus
- intuitionistic logic
- keywords
- point correspondences
- image features
- noun phrases
- first order logic
- feature matching
- active learning
- pairwise
- correspondence matching
- linear time temporal logic
- expert systems
- bayesian networks