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 | 34 | 2015 |

A diagrammatic inference system with Euler circles K Mineshima, M Okada, R Takemura Journal of Logic, Language and Information 21 (3), 365-391, 2012 | 33 | 2012 |

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 | 31 | 2010 |

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 | 29 | 2008 |

ccg2lambda: A compositional semantics system P Martinez-Gómez, K Mineshima, Y Miyao, D Bekki Proceedings of ACL-2016 System Demonstrations, 85-90, 2016 | 20 | 2016 |

Context-passing and underspecification in dependent type semantics D Bekki, K Mineshima Modern perspectives in type-theoretical semantics, 11-41, 2017 | 18 | 2017 |

How diagrams can support syllogistic reasoning: an experimental study Y Sato, K Mineshima Journal of Logic, Language and Information 24 (4), 409-455, 2015 | 16 | 2015 |

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 | 14 | 2010 |

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 | 12 | 2014 |

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 | 12 | 2012 |

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 | 11 | 2017 |

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 | 11 | 2016 |

A generalized syllogistic inference system based on inclusion and exclusion relations K Mineshima, M Okada, R Takemura Studia Logica 100 (4), 753-785, 2012 | 10 | 2012 |

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 | 9 | 2011 |

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 | 9 | 2010 |

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 | 9 | 2009 |

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 | 8 | 2017 |

Factivity and presupposition in dependent type semantics R Tanaka, K Mineshima, D Bekki Journal of Language Modelling 5, 2017 | 8 | 2017 |

An analysis of selectional restrictions with Dependent Type Semantics E Kinoshita, K Mineshima, D Bekki JSAI International Symposium on Artificial Intelligence, 19-32, 2016 | 7 | 2016 |

A presuppositional analysis of definite descriptions in proof theory K Mineshima Annual Conference of the Japanese Society for Artificial Intelligence, 214-227, 2007 | 7 | 2007 |