| 2024 | EACL | Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank. | Asa Tomita, Hitomi Yanaka, Daisuke Bekki |
| 2023 | KES | Temporal relation identification in functional requirements. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2022 | APSEC | Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2022 | KES | A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. | Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki |
| 2020 | ACL | Logical Inferences with Comparatives and Generalized Quantifiers. | Izumi Haruta, Koji Mineshima, Daisuke Bekki |
| 2020 | ACL | Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? | Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui |
| 2020 | COLING | Combining Event Semantics and Degree Semantics for Natural Language Inference. | Izumi Haruta, Koji Mineshima, Daisuke Bekki |
| 2019 | AAAI | Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
| 2019 | ACL | Multimodal Logical Inference System for Visual-Textual Entailment. | Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki |
| 2019 | ACL | Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. | Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki |
| 2018 | INLG | Neural sentence generation from formal semantics. | Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martnez-Gmez, Koji Mineshima, Daisuke Bekki |
| 2018 | NAACL | Acquisition of Phrase Correspondences Using Natural Deduction Proofs. | Hitomi Yanaka, Koji Mineshima, Pascual Martnez-Gmez, Daisuke Bekki |
| 2018 | NAACL | Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
| 2017 | EACL | On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. | Pascual Martnez-Gmez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki |
| 2017 | EMNLP | Determining Semantic Textual Similarity using Natural Deduction Proofs. | Hitomi Yanaka, Koji Mineshima, Pascual Martnez-Gmez, Daisuke Bekki |
| 2016 | ACL | ccg2lambda: A Compositional Semantics System. | Pascual Martnez-Gmez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki |
| 2016 | EMNLP | Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. | Koji Mineshima, Ribeka Tanaka, Pascual Martnez-Gmez, Yusuke Miyao, Daisuke Bekki |
| 2015 | EMNLP | Higher-order logical inference with compositional semantics. | Koji Mineshima, Pascual Martnez-Gmez, Yusuke Miyao, Daisuke Bekki |
| 2015 | IJCAI | Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. | Ayako Nakamura, Koji Mineshima, Daisuke Bekki |
| 2014 | PACLIC | Toward a Discourse Theory for Annotating Causal Relations in Japanese. | Kimi Kaneko, Daisuke Bekki |
| 2013 | ACL | Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations. | Kimi Kaneko, Yusuke Miyao, Daisuke Bekki |
| 2006 | ACL | Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic. | Manabu Sato, Daisuke Bekki, Yusuke Miyao, Jun'ichi Tsujii |