Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic. - Manabu Sato; Daisuke Bekki; Yusuke Miyao; Jun'ichi Tsujii (ACL, 2006)

Monads and Meta-lambda Calculus. - Daisuke Bekki (JSAI, 2008)

6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6). - Daisuke Bekki (JSAI-isAI Workshops, 2009)

Representing Covert Movements by Delimited Continuations. - Daisuke Bekki; Kenichi Asai (JSAI-isAI Workshops, 2009)

The development of a schema for semantic annotation: Gain brought by a formal ontological method. - Ai Kawazoe; Lihua Jin; Mika Shigematsu; Daisuke Bekki; Roberto A. Barrero; Kiyosu Taniguchi; Nigel Collier (Appl. Ontology, 2009)

Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -. - Daisuke Bekki (JSAI-isAI Workshops, 2010)

Conjoined Nominal Expressions in Japanese - Interpretation through Monad. - J.-R. Hayashishita; Daisuke Bekki (JSAI-isAI Workshops, 2011)

Conditional Logic Cb and Its Tableau System. - Yuri Ozaki; Daisuke Bekki (LACL, 2011)

Logical Polysemy and Subtyping. - Daisuke Bekki; Nicholas Asher (JSAI-isAI Workshops, 2012)

On the Semantic Relation between Nominal and Quantity Expressions in Japanese. - J.-R. Hayashishita; Daisuke Bekki (JSAI-isAI Workshops, 2012)

Toward the Formulation of Presupposition by Illative Combinatory Logic. - Yuri Ishishita; Daisuke Bekki (LACL, 2012)

Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. - Hiroko Ozaki; Daisuke Bekki (LACL, 2012)

Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations. - Kimi Kaneko; Yusuke Miyao; Daisuke Bekki (ACL (2), 2013)

Constructive Generalized Quantifiers Revisited. - Ribeka Tanaka; Yuki Nakano; Daisuke Bekki (JSAI-isAI Workshops, 2013)

First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences. - Hanako Yamamoto; Daisuke Bekki (JSAI-isAI Workshops, 2013)

CI via DTS. - Daisuke Bekki; Eric McCready (JSAI-isAI Workshops, 2014)

Resolving Modal Anaphora in Dependent Type Semantics. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2014)

Representing Anaphora with Dependent Types. - Daisuke Bekki (LACL, 2014)

Toward a Discourse Theory for Annotating Causal Relations in Japanese. - Kimi Kaneko; Daisuke Bekki (PACLIC, 2014)

Higher-order logical inference with compositional semantics. - Koji Mineshima; Pascual Martínez-Gómez; Yusuke Miyao; Daisuke Bekki (EMNLP, 2015)

Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. - Ayako Nakamura; Koji Mineshima; Daisuke Bekki (JOWO@IJCAI, 2015)

An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. - Ai Kawazoe; Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2015)

Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. - Kimi Kaneko; Saku Sugawara; Koji Mineshima; Daisuke Bekki (ALR@COLING, 2016)

ccg2lambda: A Compositional Semantics System. - Pascual Martínez-Gómez; Koji Mineshima; Yusuke Miyao; Daisuke Bekki (ACL (System Demonstrations), 2016)

Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. - Koji Mineshima; Ribeka Tanaka; Pascual Martínez-Gómez; Yusuke Miyao; Daisuke Bekki (EMNLP, 2016)

An Analysis of Selectional Restrictions with Dependent Type Semantics. - Eriko Kinoshita; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2016)

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2016)

Implementing Variable Vectors in a CCG Parser. - Daisuke Bekki; Ai Kawazoe (LACL, 2016)

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. - Pascual Martínez-Gómez; Koji Mineshima; Yusuke Miyao; Daisuke Bekki (EACL (1), 2017)

Determining Semantic Textual Similarity using Natural Deduction Proofs. - Hitomi Yanaka; Koji Mineshima; Pascual Martínez-Gómez; Daisuke Bekki (EMNLP, 2017)

Factivity and presupposition in Dependent Type Semantics. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (J. Lang. Model., 2017)

Neural sentence generation from formal semantics. - Kana Manome; Masashi Yoshikawa; Hitomi Yanaka; Pascual Martínez-Gómez; Koji Mineshima; Daisuke Bekki (INLG, 2018)

Acquisition of Phrase Correspondences Using Natural Deduction Proofs. - Hitomi Yanaka; Koji Mineshima; Pascual Martínez-Gómez; Daisuke Bekki (NAACL-HLT, 2018)

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. - Masashi Yoshikawa; Koji Mineshima; Hiroshi Noji; Daisuke Bekki (NAACL-HLT (2), 2018)

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. - Masashi Yoshikawa; Koji Mineshima; Hiroshi Noji; Daisuke Bekki (AAAI, 2019)

Multimodal Logical Inference System for Visual-Textual Entailment. - Riko Suzuki; Hitomi Yanaka; Masashi Yoshikawa; Koji Mineshima; Daisuke Bekki (ACL (2), 2019)

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. - Masashi Yoshikawa; Hiroshi Noji; Koji Mineshima; Daisuke Bekki (ACL (1), 2019)

Can Neural Networks Understand Monotonicity Reasoning? - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui; Satoshi Sekine; Lasha Abzianidze; Johan Bos (BlackboxNLP@ACL, 2019)

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui; Satoshi Sekine; Lasha Abzianidze; Johan Bos (*SEM@NAACL-HLT, 2019)

A CCG-based Compositional Semantics and Inference System for Comparatives. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (CoRR, 2019)

Variable Handling and Compositionality: Comparing DRT and DTS. - Yukiko Yana; Koji Mineshima; Daisuke Bekki (J. Log. Lang. Inf., 2019)

Logical Inferences with Comparatives and Generalized Quantifiers. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (ACL (student), 2020)

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui (ACL, 2020)

Combining Event Semantics and Degree Semantics for Natural Language Inference. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (COLING, 2020)

A Proof-Theoretic Analysis of Weak Crossover. - Daisuke Bekki (JSAI-isAI Workshops, 2021)

Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. - Riko Suzuki; Hitomi Yanaka; Koji Mineshima; Daisuke Bekki (CoRR, 2021)

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (APSEC, 2022)

A Method for Matching Patterns Based on Event Semantics with Requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (JCKBSE, 2022)

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 (KES, 2022)

Implementing Natural Language Inference for comparatives. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (J. Lang. Model., 2022)

Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts. - Natsuki Murakami; Mana Ishida; Yuta Takahashi; Hitomi Yanaka; Daisuke Bekki (ClinicalNLP@ACL, 2023)

Temporal relation identification in functional requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (KES, 2023)

Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation. - Haruka Fukushima; Daniel Plesniak; Daisuke Bekki (LENLS, 2023)

Appositive Projection as Implicit Context Extension in Dependent Type Semantics. - Daiki Matsuoka; Daisuke Bekki; Hitomi Yanaka (LENLS, 2023)

Is Japanese CCGBank empirically correct? A case study of passive and causative constructions. - Daisuke Bekki; Hitomi Yanaka (CoRR, 2023)

Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank. - Asa Tomita; Hitomi Yanaka; Daisuke Bekki (EACL (Student Research Workshop), 2024)

Matrix and Relative Weak Crossover in Japanese: An Experimental Investigation. - Haruka Fukushima; Daniel Plesniak; Daisuke Bekki (CoRR, 2024)