Daisuke Bekki

According to our database, Daisuke Bekki authored at least 54 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank.

Asa Tomita, Hitomi Yanaka, Daisuke Bekki

Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024

2023

Is Japanese CCGBank empirically correct? A case study of passive and causative constructions.

Daisuke Bekki, Hitomi Yanaka

CoRR, 2023

Temporal relation identification in functional requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts.

Natsuki Murakami, Mana Ishida, Yuta Takahashi, Hitomi Yanaka, Daisuke Bekki

Proceedings of the 5th Clinical Natural Language Processing Workshop, 2023

2022

Implementing Natural Language Inference for comparatives.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

J. Lang. Model., 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

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Method for Matching Patterns Based on Event Semantics with Requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference.

Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki

CoRR, 2021

A Proof-Theoretic Analysis of Weak Crossover.

Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2021

2020

Combining Event Semantics and Degree Semantics for Natural Language Inference.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?

Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

Logical Inferences with Comparatives and Generalized Quantifiers.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2020

2019

Variable Handling and Compositionality: Comparing DRT and DTS.

Yukiko Yana, Koji Mineshima, Daisuke Bekki

J. Log. Lang. Inf., 2019

A CCG-based Compositional Semantics and Inference System for Comparatives.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

CoRR, 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

Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

Can Neural Networks Understand Monotonicity Reasoning?

Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos

Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, 2019

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation.

Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Multimodal Logical Inference System for Visual-Textual Entailment.

Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference.

Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning.

Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Acquisition of Phrase Correspondences Using Natural Deduction Proofs.

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Neural sentence generation from formal semantics.

Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki

Proceedings of the 11th International Conference on Natural Language Generation, 2018

2017

Factivity and presupposition in Dependent Type Semantics.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

J. Lang. Model., 2017

Determining Semantic Textual Similarity using Natural Deduction Proofs.

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment.

Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki

Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017

2016

Implementing Variable Vectors in a CCG Parser.

Daisuke Bekki, Ai Kawazoe

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2016

An Analysis of Selectional Restrictions with Dependent Type Semantics.

Eriko Kinoshita, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 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

Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

ccg2lambda: A Compositional Semantics System.

Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki

Proceedings of ACL-2016 System Demonstrations, Berlin, Germany, August 7-12, 2016, 2016

Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts.

Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki

Proceedings of the 12th Workshop on Asian Language Resources, 2016

2015

An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese.

Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics.

Ayako Nakamura, Koji Mineshima, Daisuke Bekki

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), 2015

Higher-order logical inference with compositional semantics.

Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

2014

Toward a Discourse Theory for Annotating Causal Relations in Japanese.

Kimi Kaneko, Daisuke Bekki

Proceedings of the 28th Pacific Asia Conference on Language, Information and Computation, 2014

Representing Anaphora with Dependent Types.

Daisuke Bekki

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Resolving Modal Anaphora in Dependent Type Semantics.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2014

CI via DTS.

Daisuke Bekki, Eric McCready

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2013

First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences.

Hanako Yamamoto, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2013

Constructive Generalized Quantifiers Revisited.

Ribeka Tanaka, Yuki Nakano, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2013

Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations.

Kimi Kaneko, Yusuke Miyao, Daisuke Bekki

Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 2013

2012

Extractability as the Deduction Theorem in Subdirectional Combinatory Logic.

Hiroko Ozaki, Daisuke Bekki

Proceedings of the Logical Aspects of Computational Linguistics, 2012

Toward the Formulation of Presupposition by Illative Combinatory Logic.

Yuri Ishishita, Daisuke Bekki

Proceedings of the Logical Aspects of Computational Linguistics, 2012

On the Semantic Relation between Nominal and Quantity Expressions in Japanese.

J.-R. Hayashishita, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Logical Polysemy and Subtyping.

Daisuke Bekki, Nicholas Asher

Proceedings of the New Frontiers in Artificial Intelligence, 2012

2011

Conditional Logic <i>C</i>_<i>b</i> and Its Tableau System.

Yuri Ozaki, Daisuke Bekki

Proceedings of the Logical Aspects of Computational Linguistics, 2011

Conjoined Nominal Expressions in Japanese - Interpretation through Monad.

J.-R. Hayashishita, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2011

2010

Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -.

Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2010

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

Representing Covert Movements by Delimited Continuations.

Daisuke Bekki, Kenichi Asai

Proceedings of the New Frontiers in Artificial Intelligence, 2009

6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6).

Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2009

2008

Monads and Meta-lambda Calculus.

Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2008

2006

Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic.

Manabu Sato, Daisuke Bekki, Yusuke Miyao, Jun'ichi Tsujii

Proceedings of the ACL 2006, 2006