Pascual Martínez-Gómez
12 papers · 2012–2021 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15)
🏆
Keyword Champion
(3)
📈
Trend Setter
💎
Century Club · Bronze
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Natural Language Processing
(5)
Applications · Natural Language Processing
(4)
Knowledge & Reasoning
(3)
Reasoning
(3)
Artificial Intelligence
(2)
Machine Learning
(2)
Core AI
(2)
Core Methods
(2)
Optimization & Theory
(2)
Understanding
(2)
Computer Science
(1)
Interdisciplinary
(1)
Applications · Computer Science
(1)
Generation
(1)
Linguistics
(1)
Keywords
textual entailment
(3)
logical semantics
(3)
natural deduction
(2)
semantic relation
(2)
natural language inference
(2)
logical semantic representation
(2)
semantic representation
(2)
theorem prover
(1)
graph alignment
(1)
dialogue system
(1)
lexical knowledge
(1)
semantic textual similarity
(1)
formal semantics
(1)
semantic composition
(1)
compositional semantics
(1)
word vector
(1)
axiom construction
(1)
natural deduction proof
(1)
phrase correspondence
(1)
product retrieval
(1)
Papers
End-to-End Conversational Search for Online Shopping with Utterance Transfer
EMNLP 2021
Acquisition of Phrase Correspondences Using Natural Deduction Proofs
NAACL 2018
Determining Semantic Textual Similarity using Natural Deduction Proofs
EMNLP 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
EACL 2017
The Challenge of Composition in Distributional and Formal Semantics
IJCNLP 2017
Visual Denotations for Recognizing Textual Entailment
EMNLP 2017
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
EMNLP 2016
ccg2lambda: A Compositional Semantics System
ACL 2016
Rule Extraction for Tree-to-Tree Transducers by Cost Minimization
EMNLP 2016
Higher-order logical inference with compositional semantics
EMNLP 2015
Diagnosing Causes of Reading Difficulty using Bayesian Networks
IJCNLP 2013
Recognizing Personal Characteristics of Readers using Eye-Movements and Text Features
COLING 2012