C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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