BibTeX records: Koji Mineshima

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics