Follow
Daisuke Bekki
Title
Cited by
Cited by
Year
Higher-order logical inference with compositional semantics
K Mineshima, P Martínez-Gómez, Y Miyao, D Bekki
Proceedings of the 2015 Conference on Empirical Methods in Natural Language …, 2015
722015
Representing anaphora with dependent types
D Bekki
Logical Aspects of Computational Linguistics: 8th International Conference …, 2014
592014
Can neural networks understand monotonicity reasoning?
H Yanaka, K Mineshima, D Bekki, K Inui, S Sekine, L Abzianidze, J Bos
arXiv preprint arXiv:1906.06448, 2019
552019
ccg2lambda: A compositional semantics system
P Martínez-Gómez, K Mineshima, Y Miyao, D Bekki
Proceedings of ACL-2016 System Demonstrations, 85-90, 2016
492016
HELP: A dataset for identifying shortcomings of neural models in monotonicity reasoning
H Yanaka, K Mineshima, D Bekki, K Inui, S Sekine, L Abzianidze, J Bos
arXiv preprint arXiv:1904.12166, 2019
402019
On-demand injection of lexical knowledge for recognising textual entailment
P Martínez-Gómez, K Mineshima, Y Miyao, D Bekki
Proceedings of the 15th Conference of the European Chapter of the …, 2017
332017
Do neural models learn systematicity of monotonicity inference in natural language?
H Yanaka, K Mineshima, D Bekki, K Inui
arXiv preprint arXiv:2004.14839, 2020
322020
Context-passing and underspecification in dependent type semantics
D Bekki, K Mineshima
Modern perspectives in type-theoretical semantics, 11-41, 2017
282017
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
K Mineshima, R Tanaka, P Martínez-Gómez, Y Miyao, D Bekki
Proceedings of the 2016 Conference on Empirical Methods in Natural Language …, 2016
222016
Acquisition of phrase correspondences using natural deduction proofs
H Yanaka, K Mineshima, P Martínez-Gómez, D Bekki
arXiv preprint arXiv:1804.07656, 2018
192018
Factivity and presupposition in dependent type semantics
R Tanaka, K Mineshima, D Bekki
Journal of Language Modelling 5, 2017
162017
Monads and meta-lambda calculus
D Bekki
New Frontiers in Artificial Intelligence: JSAI 2008 Conference and Workshops …, 2009
162009
Logical polysemy and subtyping
D Bekki, N Asher
New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS …, 2013
152013
Dependent type semantics: an introduction
D Bekki
Logic and Interactive RAtionality (LIRa) Yearbook 1, 277-300, 2012
132012
An inference problem set for evaluating semantic theories and semantic processing systems for japanese
A Kawazoe, R Tanaka, K Mineshima, D Bekki
New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS …, 2017
122017
Logical inferences with comparatives and generalized quantifiers
I Haruta, K Mineshima, D Bekki
arXiv preprint arXiv:2005.07954, 2020
112020
Multimodal logical inference system for visual-textual entailment
R Suzuki, H Yanaka, M Yoshikawa, K Mineshima, D Bekki
arXiv preprint arXiv:1906.03952, 2019
112019
Representing covert movements by delimited continuations
D Bekki, K Asai
New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, LENLS …, 2010
112010
An analysis of selectional restrictions with Dependent Type Semantics
E Kinoshita, K Mineshima, D Bekki
New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, LENLS …, 2017
102017
Ci via dts
D Bekki, E McCready
New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS …, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20