Daisuke Bekki

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 45

Top Topics

Natural Language

Logical Inference

Temporal Relations

Top Venues

JSAI-isAI Workshops

Publications

Asa Tomita, Hitomi Yanaka, Daisuke Bekki
Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank. EACL (Student Research Workshop) (2024)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Temporal relation identification in functional requirements. KES (2023)
Daiki Matsuoka, Daisuke Bekki, Hitomi Yanaka
Appositive Projection as Implicit Context Extension in Dependent Type Semantics. LENLS (2023)
Natsuki Murakami, Mana Ishida, Yuta Takahashi, Hitomi Yanaka, Daisuke Bekki
Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts. ClinicalNLP@ACL (2023)
Haruka Fukushima, Daniel Plesniak, Daisuke Bekki
Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation. LENLS (2023)
Daisuke Bekki, Hitomi Yanaka
Is Japanese CCGBank empirically correct? A case study of passive and causative constructions. CoRR (2023)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Implementing Natural Language Inference for comparatives. J. Lang. Model. 10 (1) (2022)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC (2022)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE (2022)
Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES (2022)
Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. CoRR (2021)
Daisuke Bekki
A Proof-Theoretic Analysis of Weak Crossover. JSAI-isAI Workshops (2021)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? CoRR (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Combining Event Semantics and Degree Semantics for Natural Language Inference. CoRR (2020)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? ACL (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Logical Inferences with Comparatives and Generalized Quantifiers. ACL (student) (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Logical Inferences with Comparatives and Generalized Quantifiers. CoRR (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Combining Event Semantics and Degree Semantics for Natural Language Inference. COLING (2020)
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
Can neural networks understand monotonicity reasoning? CoRR (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. CoRR (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
Can Neural Networks Understand Monotonicity Reasoning? BlackboxNLP@ACL (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. *SEM@NAACL-HLT (2019)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
A CCG-based Compositional Semantics and Inference System for Comparatives. CoRR (2019)
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. ACL (1) (2019)
Yukiko Yana, Koji Mineshima, Daisuke Bekki
Variable Handling and Compositionality: Comparing DRT and DTS. J. Log. Lang. Inf. 28 (2) (2019)
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
Multimodal Logical Inference System for Visual-Textual Entailment. CoRR (2019)
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. CoRR (2019)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI (2019)
Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki
Neural sentence generation from formal semantics. INLG (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Acquisition of Phrase Correspondences Using Natural Deduction Proofs. NAACL-HLT (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. CoRR (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Acquisition of Phrase Correspondences using Natural Deduction Proofs. CoRR (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. NAACL-HLT (2) (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. CoRR (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Determining Semantic Textual Similarity using Natural Deduction Proofs. EMNLP (2017)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Determining Semantic Textual Similarity using Natural Deduction Proofs. CoRR (2017)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
Factivity and presupposition in Dependent Type Semantics. J. Lang. Model. 5 (2) (2017)
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. EACL (1) (2017)
Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki
Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. ALR@COLING (2016)
Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. EMNLP (2016)
Daisuke Bekki, Ai Kawazoe
Implementing Variable Vectors in a CCG Parser. LACL (2016)
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
ccg2lambda: A Compositional Semantics System. ACL (System Demonstrations) (2016)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. JSAI-isAI Workshops (2016)
Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
An Analysis of Selectional Restrictions with Dependent Type Semantics. JSAI-isAI Workshops (2016)
Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. JSAI-isAI Workshops (2015)
Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
Higher-order logical inference with compositional semantics. EMNLP (2015)
Ayako Nakamura, Koji Mineshima, Daisuke Bekki
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. JOWO@IJCAI (2015)
Kimi Kaneko, Daisuke Bekki
Toward a Discourse Theory for Annotating Causal Relations in Japanese. PACLIC (2014)
Daisuke Bekki, Eric McCready
CI via DTS. JSAI-isAI Workshops (2014)
Daisuke Bekki
Representing Anaphora with Dependent Types. LACL (2014)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
Resolving Modal Anaphora in Dependent Type Semantics. JSAI-isAI Workshops (2014)
Ribeka Tanaka, Yuki Nakano, Daisuke Bekki
Constructive Generalized Quantifiers Revisited. JSAI-isAI Workshops (2013)
Hanako Yamamoto, Daisuke Bekki
First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences. JSAI-isAI Workshops (2013)
Kimi Kaneko, Yusuke Miyao, Daisuke Bekki
Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations. ACL (2) (2013)
Hiroko Ozaki, Daisuke Bekki
Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. LACL (2012)
Yuri Ishishita, Daisuke Bekki
Toward the Formulation of Presupposition by Illative Combinatory Logic. LACL (2012)
J.-R. Hayashishita, Daisuke Bekki
On the Semantic Relation between Nominal and Quantity Expressions in Japanese. JSAI-isAI Workshops (2012)
Daisuke Bekki, Nicholas Asher
Logical Polysemy and Subtyping. JSAI-isAI Workshops (2012)
Yuri Ozaki, Daisuke Bekki
and Its Tableau System. LACL (2011)
J.-R. Hayashishita, Daisuke Bekki
Conjoined Nominal Expressions in Japanese - Interpretation through Monad. JSAI-isAI Workshops (2011)
Daisuke Bekki
Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -. JSAI-isAI Workshops (2010)
Daisuke Bekki, Kenichi Asai
Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops (2009)
Ai Kawazoe, Lihua Jin, Mika Shigematsu, Daisuke Bekki, Roberto A. Barrero, Kiyosu Taniguchi, Nigel Collier
The development of a schema for semantic annotation: Gain brought by a formal ontological method. Appl. Ontology 4 (1) (2009)
Daisuke Bekki
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6). JSAI-isAI Workshops (2009)
Daisuke Bekki
Monads and Meta-lambda Calculus. JSAI (2008)
Manabu Sato, Daisuke Bekki, Yusuke Miyao, Jun'ichi Tsujii
Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic. ACL (2006)