Daisuke Bekki
Title
Cited by
Cited by
Year
Representing anaphora with dependent types
D Bekki
International conference on logical aspects of computational linguistics, 14-29, 2014
522014
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
422015
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
272016
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
212017
Context-passing and underspecification in dependent type semantics
D Bekki, K Mineshima
Modern perspectives in type-theoretical semantics, 11-41, 2017
212017
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
192019
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
162019
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
152016
Logical polysemy and subtyping
D Bekki, N Asher
JSAI International Symposium on Artificial Intelligence, 17-24, 2012
152012
Monads and meta-lambda calculus
D Bekki
Annual Conference of the Japanese Society for Artificial Intelligence, 193-208, 2008
142008
Dependent type semantics: an introduction
D Bekki
Logic and Interactive RAtionality (LIRa) Yearbook 1, 277-300, 2012
122012
Typed dynamic logic for compositional grammar
D Bekki
Doctoral Dissertation, Faculty of Science, Department of Information Science …, 2000
112000
Factivity and presupposition in dependent type semantics
R Tanaka, K Mineshima, D Bekki
Journal of Language Modelling 5, 2017
102017
Ci via dts
D Bekki, E McCready
JSAI International Symposium on Artificial Intelligence, 23-36, 2014
102014
Constructive generalized quantifiers revisited
R Tanaka, Y Nakano, D Bekki
JSAI International Symposium on Artificial Intelligence, 115-124, 2013
92013
Representing covert movements by delimited continuations
D Bekki, K Asai
JSAI International Symposium on Artificial Intelligence, 161-180, 2009
92009
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
82020
An analysis of selectional restrictions with Dependent Type Semantics
E Kinoshita, K Mineshima, D Bekki
JSAI International Symposium on Artificial Intelligence, 19-32, 2016
82016
Japanese honorification: Compositionality and expressivity
N Watanabe, E McCready, D Bekki
Proceedings of FAJL 7, 2014
82014
Typed dynamic logic for E-type link
D Bekki
Proc. Third International Conference on Discourse Anaphora and Anaphor …, 2000
82000
The system can't perform the operation now. Try again later.
Articles 1–20