Daisuke Bekki

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