Seuraa
Koji Mineshima
Koji Mineshima
Vahvistettu sähköpostiosoite verkkotunnuksessa abelard.flet.keio.ac.jp - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
942019
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
882015
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
692019
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
672016
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
562020
A diagrammatic inference system with Euler circles
K Mineshima, M Okada, R Takemura
Journal of Logic, Language and Information 21, 365-391, 2012
432012
On-demand injection of lexical knowledge for recognising textual entailment
PM Gómez, K Mineshima, Y Miyao, D Bekki
Proceedings of the 15th Conference of the European Chapter of the …, 2017
422017
Context-passing and underspecification in dependent type semantics
D Bekki, K Mineshima
Modern perspectives in type-theoretical semantics, 11-41, 2017
412017
The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings
Y Sato, K Mineshima, R Takemura
International Conference on Theory and Application of Diagrams, 6-22, 2010
382010
Diagrammatic reasoning system with Euler circles: theory and experiment design
K Mineshima, M Okada, Y Sato, R Takemura
Diagrammatic Representation and Inference: 5th International Conference …, 2008
332008
How diagrams can support syllogistic reasoning: an experimental study
Y Sato, K Mineshima
Journal of Logic, Language and Information 24, 409-455, 2015
312015
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
272018
Compositional evaluation on Japanese textual entailment and similarity
H Yanaka, K Mineshima
Transactions of the Association for Computational Linguistics 10, 1266-1284, 2022
252022
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
K Mineshima, R Tanaka, PM Gómez, Y Miyao, D Bekki
Proceedings of the 2016 Conference on Empirical Methods in Natural Language …, 2016
242016
Exploring transitivity in neural NLI models through veridicality
H Yanaka, K Mineshima, K Inui
arXiv preprint arXiv:2101.10713, 2021
222021
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
212017
The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams
Y Sato, K Mineshima
Diagrammatic Representation and Inference: 7th International Conference …, 2012
212012
Multimodal logical inference system for visual-textual entailment
R Suzuki, H Yanaka, M Yoshikawa, K Mineshima, D Bekki
arXiv preprint arXiv:1906.03952, 2019
192019
Factivity and presupposition in dependent type semantics
R Tanaka, K Mineshima, D Bekki
Journal of Language Modelling 5, 2017
192017
Two types of diagrammatic inference systems: Natural deduction style and resolution style
K Mineshima, M Okada, R Takemura
Diagrammatic Representation and Inference: 6th International Conference …, 2010
182010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20