Acquisition of Phrase Correspondences Using Natural Deduction Proofs.

Hitomi Yanaka Koji Mineshima Pascual Martínez-Gómez Daisuke Bekki

Published in: NAACL-HLT (2018)

Keyphrases

natural deduction
theorem prover
cut elimination
inference rules
sequent calculus
theorem proving
pairwise
linear time temporal logic
point correspondences
feature matching
correspondence matching
image features
intuitionistic logic
data acquisition
geometric constraints
linear logic
keywords