Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Koji Mineshima
@article{DBLP:journals/cogsci/SatoMU23, author = {Yuri Sato and Koji Mineshima and Kazuhiro Ueda}, title = {Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations}, journal = {Cogn. Sci.}, volume = {47}, number = {3}, year = {2023}, url = {https://doi.org/10.1111/cogs.13258}, doi = {10.1111/COGS.13258}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cogsci/SatoMU23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/har/SatoM23, author = {Yuri Sato and Koji Mineshima}, editor = {Jean Baratgin and Baptiste Jacquet and Hiroshi Yama}, title = {Can Machines and Humans Use Negation When Describing Images?}, booktitle = {Human and Artificial Rationalities - Second International Conference, {HAR} 2023, Paris, France, September 19-22, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14522}, pages = {39--47}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-55245-8\_3}, doi = {10.1007/978-3-031-55245-8\_3}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/har/SatoM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paclic/FunakuraM23, author = {Hayate Funakura and Koji Mineshima}, editor = {Chu{-}Ren Huang and Yasunari Harada and Jong{-}Bok Kim and Si Chen and Yu{-}Yin Hsu and Emmanuele Chersoni and Pranav A and Winnie Huiheng Zeng and Bo Peng and Yuxi Li and Junlin Li}, title = {Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar}, booktitle = {Proceedings of the 37th Pacific Asia Conference on Language, Information and Computation, {PACLIC} 2023, The Hong Kong Polytechnic University, Hong Kong, SAR, China, 2-4 December 2023}, pages = {764--774}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://aclanthology.org/2023.paclic-1.76}, timestamp = {Thu, 15 Feb 2024 16:12:31 +0100}, biburl = {https://dblp.org/rec/conf/paclic/FunakuraM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2021w, editor = {Katsutoshi Yada and Yasufumi Takama and Koji Mineshima and Ken Satoh}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13856}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-36190-6}, doi = {10.1007/978-3-031-36190-6}, isbn = {978-3-031-36189-0}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2021w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lenls/2022, editor = {Daisuke Bekki and Koji Mineshima and Eric McCready}, title = {Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14213}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43977-3}, doi = {10.1007/978-3-031-43977-3}, isbn = {978-3-031-43976-6}, timestamp = {Mon, 13 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lenls/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-12567, author = {Risako Ando and Takanobu Morishita and Hirohiko Abe and Koji Mineshima and Mitsuhiro Okada}, title = {Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases}, journal = {CoRR}, volume = {abs/2306.12567}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.12567}, doi = {10.48550/ARXIV.2306.12567}, eprinttype = {arXiv}, eprint = {2306.12567}, timestamp = {Tue, 27 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-12567.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-14737, author = {Hayate Funakura and Koji Mineshima}, title = {Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar}, journal = {CoRR}, volume = {abs/2312.14737}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.14737}, doi = {10.48550/ARXIV.2312.14737}, eprinttype = {arXiv}, eprint = {2312.14737}, timestamp = {Thu, 18 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-14737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlm/HarutaMB22, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, title = {Implementing Natural Language Inference for comparatives}, journal = {J. Lang. Model.}, volume = {10}, number = {1}, year = {2022}, url = {https://doi.org/10.15398/jlm.v10i1.294}, doi = {10.15398/JLM.V10I1.294}, timestamp = {Sun, 13 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlm/HarutaMB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tacl/YanakaM22, author = {Hitomi Yanaka and Koji Mineshima}, title = {Compositional Evaluation on Japanese Textual Entailment and Similarity}, journal = {Trans. Assoc. Comput. Linguistics}, volume = {10}, pages = {1266--1284}, year = {2022}, url = {https://transacl.org/ojs/index.php/tacl/article/view/3895}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tacl/YanakaM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoM22, author = {Yuri Sato and Koji Mineshima}, editor = {Valeria Giardino and Sven Linker and Richard Burns and Francesco Bellucci and Jean{-}Michel Boucheix and Petrucio Viana}, title = {Visually Analyzing Universal Quantifiers in Photograph Captions}, booktitle = {Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13462}, pages = {373--377}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15146-0\_34}, doi = {10.1007/978-3-031-15146-0\_34}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-04826, author = {Hitomi Yanaka and Koji Mineshima}, title = {Compositional Evaluation on Japanese Textual Entailment and Similarity}, journal = {CoRR}, volume = {abs/2208.04826}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.04826}, doi = {10.48550/ARXIV.2208.04826}, eprinttype = {arXiv}, eprint = {2208.04826}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-04826.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/YanakaMI21, author = {Hitomi Yanaka and Koji Mineshima and Kentaro Inui}, editor = {Chengqing Zong and Fei Xia and Wenjie Li and Roberto Navigli}, title = {SyGNS: {A} Systematic Generalization Testbed Based on Natural Language Semantics}, booktitle = {Findings of the Association for Computational Linguistics: {ACL/IJCNLP} 2021, Online Event, August 1-6, 2021}, series = {Findings of {ACL}}, volume = {{ACL/IJCNLP} 2021}, pages = {103--119}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.findings-acl.10}, doi = {10.18653/V1/2021.FINDINGS-ACL.10}, timestamp = {Fri, 27 Aug 2021 08:39:19 +0200}, biburl = {https://dblp.org/rec/conf/acl/YanakaMI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/blackboxnlp/YanakaM21, author = {Hitomi Yanaka and Koji Mineshima}, editor = {Jasmijn Bastings and Yonatan Belinkov and Emmanuel Dupoux and Mario Giulianelli and Dieuwke Hupkes and Yuval Pinter and Hassan Sajjad}, title = {Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference}, booktitle = {Proceedings of the Fourth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, BlackboxNLP@EMNLP 2021, Punta Cana, Dominican Republic, November 11, 2021}, pages = {337--349}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.blackboxnlp-1.26}, doi = {10.18653/V1/2021.BLACKBOXNLP-1.26}, timestamp = {Fri, 15 Sep 2023 14:10:05 +0200}, biburl = {https://dblp.org/rec/conf/blackboxnlp/YanakaM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoM21, author = {Yuri Sato and Koji Mineshima}, editor = {Amrita Basu and Gem Stapleton and Sven Linker and Catherine Legg and Emmanuel Manalo and Petrucio Viana}, title = {Can Humans and Machines Classify Photographs as Depicting Negation?}, booktitle = {Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12909}, pages = {348--352}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-86062-2\_35}, doi = {10.1007/978-3-030-86062-2\_35}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eacl/YanakaMI21, author = {Hitomi Yanaka and Koji Mineshima and Kentaro Inui}, editor = {Paola Merlo and J{\"{o}}rg Tiedemann and Reut Tsarfaty}, title = {Exploring Transitivity in Neural {NLI} Models through Veridicality}, booktitle = {Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, {EACL} 2021, Online, April 19 - 23, 2021}, pages = {920--934}, publisher = {Association for Computational Linguistics}, year = {2021}, url = {https://doi.org/10.18653/v1/2021.eacl-main.78}, doi = {10.18653/V1/2021.EACL-MAIN.78}, timestamp = {Thu, 20 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eacl/YanakaMI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paclic/SumitaMM21, author = {Atsushi Sumita and Yusuke Miyao and Koji Mineshima}, editor = {Kaibao Hu and Jong{-}Bok Kim and Chengqing Zong and Emmanuele Chersoni}, title = {Talking with the Theorem Prover to Interactively Solve Natural Language Inference}, booktitle = {Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, {PACLIC} 2021, Shanghai International Studies University, Shanghai, China, 5-7 November 2021}, pages = {411--420}, publisher = {Association for Computational Lingustics}, year = {2021}, url = {https://aclanthology.org/2021.paclic-1.44}, timestamp = {Mon, 30 May 2022 16:48:00 +0200}, biburl = {https://dblp.org/rec/conf/paclic/SumitaMM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2020w, editor = {Naoaki Okazaki and Katsutoshi Yada and Ken Satoh and Koji Mineshima}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, {LENLS} 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12758}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79942-7}, doi = {10.1007/978-3-030-79942-7}, isbn = {978-3-030-79941-0}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2020w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-10713, author = {Hitomi Yanaka and Koji Mineshima and Kentaro Inui}, title = {Exploring Transitivity in Neural {NLI} Models through Veridicality}, journal = {CoRR}, volume = {abs/2101.10713}, year = {2021}, url = {https://arxiv.org/abs/2101.10713}, eprinttype = {arXiv}, eprint = {2101.10713}, timestamp = {Sun, 31 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-10713.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-10131, author = {Yuri Sato and Koji Mineshima and Kazuhiro Ueda}, title = {Visual representation of negation: Real world data analysis on comic image design}, journal = {CoRR}, volume = {abs/2105.10131}, year = {2021}, url = {https://arxiv.org/abs/2105.10131}, eprinttype = {arXiv}, eprint = {2105.10131}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-10131.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-01077, author = {Hitomi Yanaka and Koji Mineshima and Kentaro Inui}, title = {SyGNS: {A} Systematic Generalization Testbed Based on Natural Language Semantics}, journal = {CoRR}, volume = {abs/2106.01077}, year = {2021}, url = {https://arxiv.org/abs/2106.01077}, eprinttype = {arXiv}, eprint = {2106.01077}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-01077.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-14137, author = {Riko Suzuki and Hitomi Yanaka and Koji Mineshima and Daisuke Bekki}, title = {Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference}, journal = {CoRR}, volume = {abs/2106.14137}, year = {2021}, url = {https://arxiv.org/abs/2106.14137}, eprinttype = {arXiv}, eprint = {2106.14137}, timestamp = {Wed, 30 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-14137.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/HarutaMB20, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, editor = {Shruti Rijhwani and Jiangming Liu and Yizhong Wang and Rotem Dror}, title = {Logical Inferences with Comparatives and Generalized Quantifiers}, booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, {ACL} 2020, Online, July 5-10, 2020}, pages = {263--270}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.acl-srw.35}, doi = {10.18653/V1/2020.ACL-SRW.35}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/HarutaMB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/YanakaMBI20, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui}, editor = {Dan Jurafsky and Joyce Chai and Natalie Schluter and Joel R. Tetreault}, title = {Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?}, booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, {ACL} 2020, Online, July 5-10, 2020}, pages = {6105--6117}, publisher = {Association for Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.acl-main.543}, doi = {10.18653/V1/2020.ACL-MAIN.543}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/YanakaMBI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coling/HarutaMB20, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, editor = {Donia Scott and N{\'{u}}ria Bel and Chengqing Zong}, title = {Combining Event Semantics and Degree Semantics for Natural Language Inference}, booktitle = {Proceedings of the 28th International Conference on Computational Linguistics, {COLING} 2020, Barcelona, Spain (Online), December 8-13, 2020}, pages = {1758--1764}, publisher = {International Committee on Computational Linguistics}, year = {2020}, url = {https://doi.org/10.18653/v1/2020.coling-main.156}, doi = {10.18653/V1/2020.COLING-MAIN.156}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coling/HarutaMB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoM20, author = {Yuri Sato and Koji Mineshima}, editor = {Ahti{-}Veikko Pietarinen and Peter Chapman and Leonie Bosveld{-}de Smet and Valeria Giardino and James E. Corter and Sven Linker}, title = {Depicting Negative Information in Photographs, Videos, and Comics: {A} Preliminary Analysis}, booktitle = {Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12169}, pages = {485--489}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54249-8\_40}, doi = {10.1007/978-3-030-54249-8\_40}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lrec/KubotaMHO20, author = {Yusuke Kubota and Koji Mineshima and Noritsugu Hayashi and Shinya Okano}, editor = {Nicoletta Calzolari and Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and Philippe Blache and Khalid Choukri and Christopher Cieri and Thierry Declerck and Sara Goggi and Hitoshi Isahara and Bente Maegaard and Joseph Mariani and H{\'{e}}l{\`{e}}ne Mazo and Asunci{\'{o}}n Moreno and Jan Odijk and Stelios Piperidis}, title = {Development of a General-Purpose Categorial Grammar Treebank}, booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference, {LREC} 2020, Marseille, France, May 11-16, 2020}, pages = {5195--5201}, publisher = {European Language Resources Association}, year = {2020}, url = {https://aclanthology.org/2020.lrec-1.639/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lrec/KubotaMHO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2019w, editor = {Maki Sakamoto and Naoaki Okazaki and Koji Mineshima and Ken Satoh}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12331}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58790-1}, doi = {10.1007/978-3-030-58790-1}, isbn = {978-3-030-58789-5}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2019w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-14839, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui}, title = {Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?}, journal = {CoRR}, volume = {abs/2004.14839}, year = {2020}, url = {https://arxiv.org/abs/2004.14839}, eprinttype = {arXiv}, eprint = {2004.14839}, timestamp = {Sun, 03 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-14839.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-07954, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, title = {Logical Inferences with Comparatives and Generalized Quantifiers}, journal = {CoRR}, volume = {abs/2005.07954}, year = {2020}, url = {https://arxiv.org/abs/2005.07954}, eprinttype = {arXiv}, eprint = {2005.07954}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-07954.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-00961, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, title = {Combining Event Semantics and Degree Semantics for Natural Language Inference}, journal = {CoRR}, volume = {abs/2011.00961}, year = {2020}, url = {https://arxiv.org/abs/2011.00961}, eprinttype = {arXiv}, eprint = {2011.00961}, timestamp = {Fri, 06 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-00961.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/YanaMB19, author = {Yukiko Yana and Koji Mineshima and Daisuke Bekki}, title = {Variable Handling and Compositionality: Comparing {DRT} and {DTS}}, journal = {J. Log. Lang. Inf.}, volume = {28}, number = {2}, pages = {261--285}, year = {2019}, url = {https://doi.org/10.1007/s10849-019-09294-3}, doi = {10.1007/S10849-019-09294-3}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/YanaMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/YoshikawaMNB19, author = {Masashi Yoshikawa and Koji Mineshima and Hiroshi Noji and Daisuke Bekki}, title = {Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference}, booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019}, pages = {7410--7417}, publisher = {{AAAI} Press}, year = {2019}, url = {https://doi.org/10.1609/aaai.v33i01.33017410}, doi = {10.1609/AAAI.V33I01.33017410}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/YoshikawaMNB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/YoshikawaNMB19, author = {Masashi Yoshikawa and Hiroshi Noji and Koji Mineshima and Daisuke Bekki}, editor = {Anna Korhonen and David R. Traum and Llu{\'{\i}}s M{\`{a}}rquez}, title = {Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation}, booktitle = {Proceedings of the 57th Conference of the Association for Computational Linguistics, {ACL} 2019, Florence, Italy, July 28- August 2, 2019, Volume 1: Long Papers}, pages = {129--139}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/p19-1013}, doi = {10.18653/V1/P19-1013}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/YoshikawaNMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/SuzukiYYMB19, author = {Riko Suzuki and Hitomi Yanaka and Masashi Yoshikawa and Koji Mineshima and Daisuke Bekki}, editor = {Fernando Alva{-}Manchego and Eunsol Choi and Daniel Khashabi}, title = {Multimodal Logical Inference System for Visual-Textual Entailment}, booktitle = {Proceedings of the 57th Conference of the Association for Computational Linguistics, {ACL} 2019, Florence, Italy, July 28 - August 2, 2019, Volume 2: Student Research Workshop}, pages = {386--392}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/p19-2054}, doi = {10.18653/V1/P19-2054}, timestamp = {Thu, 14 Oct 2021 16:38:34 +0200}, biburl = {https://dblp.org/rec/conf/acl/SuzukiYYMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/blackboxnlp/YanakaMBISAB19, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui and Satoshi Sekine and Lasha Abzianidze and Johan Bos}, editor = {Tal Linzen and Grzegorz Chrupala and Yonatan Belinkov and Dieuwke Hupkes}, title = {Can Neural Networks Understand Monotonicity Reasoning?}, booktitle = {Proceedings of the 2019 {ACL} Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, BlackboxNLP@ACL 2019, Florence, Italy, August 1, 2019}, pages = {31--40}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/W19-4804}, doi = {10.18653/V1/W19-4804}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/blackboxnlp/YanakaMBISAB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/starsem/YanakaMBISAB19, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui and Satoshi Sekine and Lasha Abzianidze and Johan Bos}, editor = {Rada Mihalcea and Ekaterina Shutova and Lun{-}Wei Ku and Kilian Evang and Soujanya Poria}, title = {{HELP:} {A} Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning}, booktitle = {Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, *SEM@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019}, pages = {250--255}, publisher = {Association for Computational Linguistics}, year = {2019}, url = {https://doi.org/10.18653/v1/s19-1027}, doi = {10.18653/V1/S19-1027}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/starsem/YanakaMBISAB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2018, editor = {Kazuhiro Kojima and Maki Sakamoto and Koji Mineshima and Ken Satoh}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11717}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31605-1}, doi = {10.1007/978-3-030-31605-1}, isbn = {978-3-030-31604-4}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-12166, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui and Satoshi Sekine and Lasha Abzianidze and Johan Bos}, title = {{HELP:} {A} Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning}, journal = {CoRR}, volume = {abs/1904.12166}, year = {2019}, url = {http://arxiv.org/abs/1904.12166}, eprinttype = {arXiv}, eprint = {1904.12166}, timestamp = {Thu, 02 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-12166.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-01834, author = {Masashi Yoshikawa and Hiroshi Noji and Koji Mineshima and Daisuke Bekki}, title = {Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation}, journal = {CoRR}, volume = {abs/1906.01834}, year = {2019}, url = {http://arxiv.org/abs/1906.01834}, eprinttype = {arXiv}, eprint = {1906.01834}, timestamp = {Thu, 13 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-01834.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-03952, author = {Riko Suzuki and Hitomi Yanaka and Masashi Yoshikawa and Koji Mineshima and Daisuke Bekki}, title = {Multimodal Logical Inference System for Visual-Textual Entailment}, journal = {CoRR}, volume = {abs/1906.03952}, year = {2019}, url = {http://arxiv.org/abs/1906.03952}, eprinttype = {arXiv}, eprint = {1906.03952}, timestamp = {Fri, 14 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-03952.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-06448, author = {Hitomi Yanaka and Koji Mineshima and Daisuke Bekki and Kentaro Inui and Satoshi Sekine and Lasha Abzianidze and Johan Bos}, title = {Can neural networks understand monotonicity reasoning?}, journal = {CoRR}, volume = {abs/1906.06448}, year = {2019}, url = {http://arxiv.org/abs/1906.06448}, eprinttype = {arXiv}, eprint = {1906.06448}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-06448.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-00930, author = {Izumi Haruta and Koji Mineshima and Daisuke Bekki}, title = {A CCG-based Compositional Semantics and Inference System for Comparatives}, journal = {CoRR}, volume = {abs/1910.00930}, year = {2019}, url = {http://arxiv.org/abs/1910.00930}, eprinttype = {arXiv}, eprint = {1910.00930}, timestamp = {Fri, 04 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-00930.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/inlg/ManomeYYMMB18, author = {Kana Manome and Masashi Yoshikawa and Hitomi Yanaka and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Koji Mineshima and Daisuke Bekki}, editor = {Emiel Krahmer and Albert Gatt and Martijn Goudbeek}, title = {Neural sentence generation from formal semantics}, booktitle = {Proceedings of the 11th International Conference on Natural Language Generation, Tilburg University, The Netherlands, November 5-8, 2018}, pages = {408--414}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://doi.org/10.18653/v1/w18-6549}, doi = {10.18653/V1/W18-6549}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/inlg/ManomeYYMMB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/YoshikawaMNB18, author = {Masashi Yoshikawa and Koji Mineshima and Hiroshi Noji and Daisuke Bekki}, editor = {Marilyn A. Walker and Heng Ji and Amanda Stent}, title = {Consistent {CCG} Parsing over Multiple Sentences for Improved Logical Reasoning}, booktitle = {Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT, New Orleans, Louisiana, USA, June 1-6, 2018, Volume 2 (Short Papers)}, pages = {407--412}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://doi.org/10.18653/v1/n18-2065}, doi = {10.18653/V1/N18-2065}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/YoshikawaMNB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/YanakaMMB18, author = {Hitomi Yanaka and Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Daisuke Bekki}, editor = {Marilyn A. Walker and Heng Ji and Amanda Stent}, title = {Acquisition of Phrase Correspondences Using Natural Deduction Proofs}, booktitle = {Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL-HLT} 2018, New Orleans, Louisiana, USA, June 1-6, 2018, Volume 1 (Long Papers)}, pages = {756--766}, publisher = {Association for Computational Linguistics}, year = {2018}, url = {https://doi.org/10.18653/v1/n18-1069}, doi = {10.18653/V1/N18-1069}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/YanakaMMB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2017, editor = {Sachiyo Arai and Kazuhiro Kojima and Koji Mineshima and Daisuke Bekki and Ken Satoh and Yuiko Ohta}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10838}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-93794-6}, doi = {10.1007/978-3-319-93794-6}, isbn = {978-3-319-93793-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-07068, author = {Masashi Yoshikawa and Koji Mineshima and Hiroshi Noji and Daisuke Bekki}, title = {Consistent {CCG} Parsing over Multiple Sentences for Improved Logical Reasoning}, journal = {CoRR}, volume = {abs/1804.07068}, year = {2018}, url = {http://arxiv.org/abs/1804.07068}, eprinttype = {arXiv}, eprint = {1804.07068}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-07068.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-07656, author = {Hitomi Yanaka and Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Daisuke Bekki}, title = {Acquisition of Phrase Correspondences using Natural Deduction Proofs}, journal = {CoRR}, volume = {abs/1804.07656}, year = {2018}, url = {http://arxiv.org/abs/1804.07656}, eprinttype = {arXiv}, eprint = {1804.07656}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-07656.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-06203, author = {Masashi Yoshikawa and Koji Mineshima and Hiroshi Noji and Daisuke Bekki}, title = {Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference}, journal = {CoRR}, volume = {abs/1811.06203}, year = {2018}, url = {http://arxiv.org/abs/1811.06203}, eprinttype = {arXiv}, eprint = {1811.06203}, timestamp = {Sun, 25 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-06203.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlm/TanakaMB17, author = {Ribeka Tanaka and Koji Mineshima and Daisuke Bekki}, title = {Factivity and presupposition in Dependent Type Semantics}, journal = {J. Lang. Model.}, volume = {5}, number = {2}, pages = {385--420}, year = {2017}, url = {https://doi.org/10.15398/jlm.v5i2.153}, doi = {10.15398/JLM.V5I2.153}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlm/TanakaMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eacl/MiyaoMMB17, author = {Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Koji Mineshima and Yusuke Miyao and Daisuke Bekki}, editor = {Mirella Lapata and Phil Blunsom and Alexander Koller}, title = {On-demand Injection of Lexical Knowledge for Recognising Textual Entailment}, booktitle = {Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, {EACL} 2017, Valencia, Spain, April 3-7, 2017, Volume 1: Long Papers}, pages = {710--720}, publisher = {Association for Computational Linguistics}, year = {2017}, url = {https://doi.org/10.18653/v1/e17-1067}, doi = {10.18653/V1/E17-1067}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eacl/MiyaoMMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/YanakaMMB17, author = {Hitomi Yanaka and Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Daisuke Bekki}, editor = {Martha Palmer and Rebecca Hwa and Sebastian Riedel}, title = {Determining Semantic Textual Similarity using Natural Deduction Proofs}, booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September 9-11, 2017}, pages = {681--691}, publisher = {Association for Computational Linguistics}, year = {2017}, url = {https://doi.org/10.18653/v1/d17-1071}, doi = {10.18653/V1/D17-1071}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/YanakaMMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/HanMM17, author = {Dan Han and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Koji Mineshima}, editor = {Martha Palmer and Rebecca Hwa and Sebastian Riedel}, title = {Visual Denotations for Recognizing Textual Entailment}, booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September 9-11, 2017}, pages = {2853--2859}, publisher = {Association for Computational Linguistics}, year = {2017}, url = {https://doi.org/10.18653/v1/d17-1305}, doi = {10.18653/V1/D17-1305}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/HanMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnlp/TianMM17, author = {Ran Tian and Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez}, editor = {Sadao Kurohashi and Michael Strube}, title = {The Challenge of Composition in Distributional and Formal Semantics}, booktitle = {Proceedings of the {IJCNLP} 2017, Taipei, Taiwan, November 27 - December 1, 2017, Tutorial Abstracts}, pages = {16--17}, publisher = {Asian Federation of Natural Language Processing}, year = {2017}, url = {https://aclanthology.org/I17-5006/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcnlp/TianMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/YanakaMMB17, author = {Hitomi Yanaka and Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Daisuke Bekki}, title = {Determining Semantic Textual Similarity using Natural Deduction Proofs}, journal = {CoRR}, volume = {abs/1707.08713}, year = {2017}, url = {http://arxiv.org/abs/1707.08713}, eprinttype = {arXiv}, eprint = {1707.08713}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/YanakaMMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/Martinez-GomezM16, author = {Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Koji Mineshima and Yusuke Miyao and Daisuke Bekki}, editor = {Sameer Pradhan and Marianna Apidianaki}, title = {ccg2lambda: {A} Compositional Semantics System}, booktitle = {Proceedings of {ACL-2016} System Demonstrations, Berlin, Germany, August 7-12, 2016}, pages = {85--90}, publisher = {Association for Computational Linguistics}, year = {2016}, url = {https://doi.org/10.18653/v1/P16-4015}, doi = {10.18653/V1/P16-4015}, timestamp = {Fri, 06 Aug 2021 00:41:04 +0200}, biburl = {https://dblp.org/rec/conf/acl/Martinez-GomezM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl-alr/KanekoSMB16, author = {Kimi Kaneko and Saku Sugawara and Koji Mineshima and Daisuke Bekki}, editor = {K{\^{o}}iti Hasida and Kam{-}Fai Wong and Nicoletta Calzorari and Key{-}Sun Choi}, title = {Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts}, booktitle = {Proceedings of the 12th Workshop on Asian Language Resources, ALR@COLING 2016, Osaka, Japan, December 12, 2016}, pages = {10--19}, publisher = {The {COLING} 2016 Organizing Committee}, year = {2016}, url = {https://aclanthology.org/W16-5402/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl-alr/KanekoSMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoM16, author = {Yuri Sato and Koji Mineshima}, editor = {Mateja Jamnik and Yuri Uesaka and Stephanie Elzer Schwartz}, title = {Human Reasoning with Proportional Quantifiers and Its Support by Diagrams}, booktitle = {Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9781}, pages = {123--138}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42333-3\_10}, doi = {10.1007/978-3-319-42333-3\_10}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/MineshimaTMMB16, author = {Koji Mineshima and Ribeka Tanaka and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Yusuke Miyao and Daisuke Bekki}, editor = {Jian Su and Xavier Carreras and Kevin Duh}, title = {Building compositional semantics and higher-order inference system for a wide-coverage Japanese {CCG} parser}, booktitle = {Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2016, Austin, Texas, USA, November 1-4, 2016}, pages = {2236--2242}, publisher = {The Association for Computational Linguistics}, year = {2016}, url = {https://doi.org/10.18653/v1/d16-1242}, doi = {10.18653/V1/D16-1242}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/MineshimaTMMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/KinoshitaMB16, author = {Eriko Kinoshita and Koji Mineshima and Daisuke Bekki}, editor = {Setsuya Kurahashi and Yuiko Ohta and Sachiyo Arai and Ken Satoh and Daisuke Bekki}, title = {An Analysis of Selectional Restrictions with Dependent Type Semantics}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, {JURISIN} and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10247}, pages = {19--32}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-61572-1\_2}, doi = {10.1007/978-3-319-61572-1\_2}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/jsai/KinoshitaMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/TanakaMB16, author = {Ribeka Tanaka and Koji Mineshima and Daisuke Bekki}, editor = {Setsuya Kurahashi and Yuiko Ohta and Sachiyo Arai and Ken Satoh and Daisuke Bekki}, title = {On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, {JURISIN} and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10247}, pages = {123--137}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-61572-1\_9}, doi = {10.1007/978-3-319-61572-1\_9}, timestamp = {Tue, 11 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/TanakaMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/SatoM15, author = {Yuri Sato and Koji Mineshima}, title = {How Diagrams Can Support Syllogistic Reasoning: An Experimental Study}, journal = {J. Log. Lang. Inf.}, volume = {24}, number = {4}, pages = {409--455}, year = {2015}, url = {https://doi.org/10.1007/s10849-015-9225-4}, doi = {10.1007/S10849-015-9225-4}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jolli/SatoM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/MineshimaMMB15, author = {Koji Mineshima and Pascual Mart{\'{\i}}nez{-}G{\'{o}}mez and Yusuke Miyao and Daisuke Bekki}, editor = {Llu{\'{\i}}s M{\`{a}}rquez and Chris Callison{-}Burch and Jian Su and Daniele Pighin and Yuval Marton}, title = {Higher-order logical inference with compositional semantics}, booktitle = {Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2015, Lisbon, Portugal, September 17-21, 2015}, pages = {2055--2061}, publisher = {The Association for Computational Linguistics}, year = {2015}, url = {https://doi.org/10.18653/v1/d15-1244}, doi = {10.18653/V1/D15-1244}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/MineshimaMMB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/NakamuraMB15, author = {Ayako Nakamura and Koji Mineshima and Daisuke Bekki}, editor = {Odile Papini and Salem Benferhat and Laurent Garcia and Marie{-}Laure Mugnier and Eduardo L. Ferm{\'{e}} and Thomas Meyer and Renata Wassermann and Torsten Hahmann and Ken Baclawski and Adila Krisnadhi and Pavel Klinov and Stefano Borgo and Oliver Kutz and Daniele Porello}, title = {Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics}, booktitle = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina, July 25-27, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1517}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1517/JOWO-15\_FOfAI\_paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:31 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/NakamuraMB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/KawazoeTMB15, author = {Ai Kawazoe and Ribeka Tanaka and Koji Mineshima and Daisuke Bekki}, editor = {Mihoko Otake and Setsuya Kurahashi and Yuiko Ota and Ken Satoh and Daisuke Bekki}, title = {An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10091}, pages = {58--65}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-50953-2\_5}, doi = {10.1007/978-3-319-50953-2\_5}, timestamp = {Sun, 25 Oct 2020 22:34:13 +0100}, biburl = {https://dblp.org/rec/conf/jsai/KawazoeTMB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jsai/2014, editor = {Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki}, title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9067}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48119-6}, doi = {10.1007/978-3-662-48119-6}, isbn = {978-3-662-48118-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/MineshimaSTO14, author = {Koji Mineshima and Yuri Sato and Ryo Takemura and Mitsuhiro Okada}, title = {Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: {A} relational perspective}, journal = {J. Vis. Lang. Comput.}, volume = {25}, number = {3}, pages = {156--169}, year = {2014}, url = {https://doi.org/10.1016/j.jvlc.2013.08.007}, doi = {10.1016/J.JVLC.2013.08.007}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlc/MineshimaSTO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/Mineshima14, author = {Koji Mineshima}, editor = {Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki}, title = {Logic and Engineering of Natural Language Semantics {(LENLS)} 11}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9067}, pages = {3--5}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-48119-6\_1}, doi = {10.1007/978-3-662-48119-6\_1}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/jsai/Mineshima14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/TanakaMB14, author = {Ribeka Tanaka and Koji Mineshima and Daisuke Bekki}, editor = {Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki}, title = {Resolving Modal Anaphora in Dependent Type Semantics}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9067}, pages = {83--98}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-48119-6\_7}, doi = {10.1007/978-3-662-48119-6\_7}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jsai/TanakaMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/MineshimaOT12, author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura}, title = {A Diagrammatic Inference System with Euler Circles}, journal = {J. Log. Lang. Inf.}, volume = {21}, number = {3}, pages = {365--391}, year = {2012}, url = {https://doi.org/10.1007/s10849-012-9160-6}, doi = {10.1007/S10849-012-9160-6}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/MineshimaOT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/MineshimaOT12, author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura}, title = {A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations}, journal = {Stud Logica}, volume = {100}, number = {4}, pages = {753--785}, year = {2012}, url = {https://doi.org/10.1007/s11225-012-9428-5}, doi = {10.1007/S11225-012-9428-5}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/MineshimaOT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoMTO12, author = {Yuri Sato and Koji Mineshima and Ryo Takemura and Mitsuhiro Okada}, editor = {Peter Chapman and Luana Micallef}, title = {On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: {A} Relational Perspective}, booktitle = {Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {854}, pages = {17--31}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-854/paper2.pdf}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoMTO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoM12, author = {Yuri Sato and Koji Mineshima}, editor = {Philip T. Cox and Beryl Plimmer and Peter J. Rodgers}, title = {The Efficacy of Diagrams in Syllogistic Reasoning: {A} Case of Linear Diagrams}, booktitle = {Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7352}, pages = {352--355}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31223-6\_49}, doi = {10.1007/978-3-642-31223-6\_49}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/SatoMT11, author = {Yuri Sato and Koji Mineshima and Ryo Takemura}, editor = {Laura A. Carlson and Christoph H{\"{o}}lscher and Thomas F. Shipley}, title = {Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations}, booktitle = {Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011}, publisher = {cognitivesciencesociety.org}, year = {2011}, url = {https://mindmodeling.org/cogsci2011/papers/0508/index.html}, timestamp = {Wed, 17 Apr 2024 12:44:29 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/SatoMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SatoMT10, author = {Yuri Sato and Koji Mineshima and Ryo Takemura}, editor = {Ashok K. Goel and Mateja Jamnik and N. Hari Narayanan}, title = {The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings}, booktitle = {Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6170}, pages = {6--22}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14600-8\_6}, doi = {10.1007/978-3-642-14600-8\_6}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/SatoMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/MineshimaOT10, author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura}, editor = {Ashok K. Goel and Mateja Jamnik and N. Hari Narayanan}, title = {Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style}, booktitle = {Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6170}, pages = {99--114}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14600-8\_12}, doi = {10.1007/978-3-642-14600-8\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/MineshimaOT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/MineshimaOST08, author = {Koji Mineshima and Mitsuhiro Okada and Yuri Sato and Ryo Takemura}, editor = {Gem Stapleton and John Howse and John Lee}, title = {Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design}, booktitle = {Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5223}, pages = {188--205}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87730-1\_19}, doi = {10.1007/978-3-540-87730-1\_19}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/MineshimaOST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/Mineshima07, author = {Koji Mineshima}, editor = {Ken Satoh and Akihiro Inokuchi and Katashi Nagao and Takahiro Kawamura}, title = {A Presuppositional Analysis of Definite Descriptions in Proof Theory}, booktitle = {New Frontiers in Artificial Intelligence, {JSAI} 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4914}, pages = {214--227}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-78197-4\_20}, doi = {10.1007/978-3-540-78197-4\_20}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/jsai/Mineshima07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.