• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20082020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Automatic generation of high quality CCGBanks for ParSER domain adaptation

    Yoshikawa, M., Noji, H., Mineshima, K. & Bekki, D., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 129-139 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis

    Sato, Y. & Mineshima, K., 2020, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Springer, p. 485-489 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12169 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    Combining axiom injection and knowledge base completion for efficient natural language inference

    Yoshikawa, M., Mineshima, K., Noji, H. & Bekki, D., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 7410-7417 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Multimodal logical inference system for visual-textual entailment

    Suzuki, R., Yanaka, H., Yoshikawa, M., Mineshima, K. & Bekki, D., 2019, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Student Research Workshop. Association for Computational Linguistics (ACL), p. 386-392 7 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Student Research Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    Acquisition of phrase correspondences using natural deduction proofs

    Yanaka, H., Mineshima, K., Martínez-Ǵomez, P. & Bekki, D., 2018, Long Papers. Association for Computational Linguistics (ACL), p. 756-766 11 p. (NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Consistent CCG parsing over multiple sentences for improved logical reasoning

    Yoshikawa, M., Mineshima, K., Noji, H. & Bekki, D., 2018, Short Papers. Association for Computational Linguistics (ACL), p. 407-412 6 p. (NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Neural sentence generation from formal semantics

    Manome, K., Yoshikawa, M., Yanaka, H., Martínez-Gómez, P., Mineshima, K. & Bekki, D., 2018, INLG 2018 - 11th International Natural Language Generation Conference, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 408-414 7 p. (INLG 2018 - 11th International Natural Language Generation Conference, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2017

    An analysis of selectional restrictions with dependent type semantics

    Kinoshita, E., Mineshima, K. & Bekki, D., 2017 Jan 1, New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS HAT-MASH, AI-Biz, JURISIN and SKL, 2016. Arai, S., Satoh, K., Bekki, D., Kurahashi, S. & Ohta, Y. (eds.). Springer Verlag, p. 19-32 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10247 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An inference problem set for evaluating semantic theories and semantic processing systems for Japanese

    Kawazoe, A., Tanaka, R., Mineshima, K. & Bekki, D., 2017 Jan 1, New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Revised Selected Papers. Otake, M., Satoh, K., Kurahashi, S., Ota, Y. & Bekki, D. (eds.). Springer Verlag, p. 58-65 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10091 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Determining semantic textual similarity using natural deduction proofs

    Yanaka, H., Martínez-Gómez, P., Mineshima, K. & Bekki, D., 2017, EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 681-691 11 p. (EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Citations (Scopus)
  • On-demand injection of lexical knowledge for recognising textual entailment

    Martínez-Gómez, P., Mineshima, K., Miyao, Y. & Bekki, D., 2017, Long Papers - Continued. Association for Computational Linguistics (ACL), p. 710-720 11 p. (15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017 - Proceedings of Conference; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Citations (Scopus)
  • On the interpretation of dependent plural anaphora in a dependently-typed setting

    Tanaka, R., Mineshima, K. & Bekki, D., 2017, New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS HAT-MASH, AI-Biz, JURISIN and SKL, 2016. Arai, S., Satoh, K., Bekki, D., Kurahashi, S. & Ohta, Y. (eds.). Springer Verlag, p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10247 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Visual denotations for recognizing textual entailment

    Han, D., Martínez-Gómez, P. & Mineshima, K., 2017, EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 2853-2859 7 p. (EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Citations (Scopus)
  • 2016

    Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser

    Mineshima, K., Tanaka, R., Martínez-Gómez, P., Miyao, Y. & Bekki, D., 2016, EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 2236-2242 7 p. (EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Citations (Scopus)
  • Ccg21ambda: A compositional semantics system

    Martínez-Gómez, P., Mineshima, K., Miyao, Y. & Bekki, D., 2016 Jan 1, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - System Demonstrations. Association for Computational Linguistics (ACL), p. 85-90 6 p. (54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - System Demonstrations).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • Human reasoning with proportional quantifiers and its support by diagrams

    Sato, Y. & Mineshima, K., 2016 Jan 1, Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Springer Verlag, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9781).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2015

    Higher-order logical inference with compositional semantics

    Mineshima, K., Martínez-Gómez, P., Miyao, Y. & Bekki, D., 2015 Jan 1, Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), p. 2055-2061 7 p. (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Citations (Scopus)
  • Logic and engineering of natural language semantics (LENLS) 11

    Mineshima, K., 2015 Jan 1, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer Verlag, p. 3-5 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9067).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA Kanagawa, Japan, October 27-28, 2014 Revised Selected Papers

    Murata, T., Mineshima, K. & Bekki, D., 2015 Jan 1, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9067).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Resolving modal anaphora in dependent type semantics

    Tanaka, R., Mineshima, K. & Bekki, D., 2015, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer Verlag, p. 83-98 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9067).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings

    Sato, Y., Mineshima, K. & Takemura, R., 2010, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    23 Citations (Scopus)
  • Two types of diagrammatic inference systems: Natural deduction style and resolution style

    Mineshima, K., Okada, M. & Takemura, R., 2010, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. p. 99-114 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • 2008

    A presuppositional analysis of definite descriptions in proof theory

    Mineshima, K., 2008 Aug 27, New Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers. p. 214-227 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4914 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Diagrammatic reasoning system with euler circles: Theory and experiment design

    Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008, Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings. p. 188-205 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5223 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Citations (Scopus)