Koji Mineshima
Koji Mineshima
Verified email at ocha.ac.jp - Homepage
TitleCited byYear
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
332015
A diagrammatic inference system with Euler circles
K Mineshima, M Okada, R Takemura
Journal of Logic, Language and Information 21 (3), 365-391, 2012
332012
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
312010
Diagrammatic reasoning system with Euler circles: theory and experiment design
K Mineshima, M Okada, Y Sato, R Takemura
International Conference on Theory and Application of Diagrams, 188-205, 2008
292008
ccg2lambda: A compositional semantics system
P Martinez-Gómez, K Mineshima, Y Miyao, D Bekki
Proceedings of ACL-2016 System Demonstrations, 85-90, 2016
202016
Context-passing and underspecification in dependent type semantics
D Bekki, K Mineshima
Modern perspectives in type-theoretical semantics, 11-41, 2017
182017
How diagrams can support syllogistic reasoning: an experimental study
Y Sato, K Mineshima
Journal of Logic, Language and Information 24 (4), 409-455, 2015
162015
Two types of diagrammatic inference systems: Natural deduction style and resolution style
K Mineshima, M Okada, R Takemura
International Conference on Theory and Application of Diagrams, 99-114, 2010
142010
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective
K Mineshima, Y Sato, R Takemura, M Okada
Journal of Visual Languages & Computing 25 (3), 156-169, 2014
122014
The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams
Y Sato, K Mineshima
International Conference on Theory and Application of Diagrams, 352-355, 2012
122012
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
112017
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
112016
A generalized syllogistic inference system based on inclusion and exclusion relations
K Mineshima, M Okada, R Takemura
Studia Logica 100 (4), 753-785, 2012
102012
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations
Y Sato, K Mineshima, R Takemura
Proceedings of the Annual Meeting of the Cognitive Science Society 33 (33), 2011
92011
Constructing internal diagrammatic proofs from external logic diagrams
Y Sato, K Mineshima, R Takemura
Proceedings of the Annual Meeting of the Cognitive Science Society 32 (32), 2010
92010
Conservativity for a hierarchy of Euler and Venn reasoning systems
K Mineshima, M Okada, R Takemura
Proceedings of visual languages and logic 2009, 37-61, 2009
92009
Factivity and presupposition in dependent type semantics
R Tanaka, K Mineshima, D Bekki
Journal of Language Modelling 5, 2017
82017
Visual denotations for recognizing textual entailment
D Han, P Martínez-Gómez, K Mineshima
Proceedings of the 2017 Conference on Empirical Methods in Natural Language …, 2017
72017
An analysis of selectional restrictions with Dependent Type Semantics
E Kinoshita, K Mineshima, D Bekki
JSAI International Symposium on Artificial Intelligence, 19-32, 2016
72016
A presuppositional analysis of definite descriptions in proof theory
K Mineshima
Annual Conference of the Japanese Society for Artificial Intelligence, 214-227, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20