default search action
Daisuke Bekki
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c49]Asa Tomita, Hitomi Yanaka, Daisuke Bekki:
Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank. EACL (Student Research Workshop) 2024: 196-207 - [e10]Daisuke Bekki
, Koji Mineshima
Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14569, Springer 2024, ISBN 978-3-031-60877-3 [contents] - [i15]Haruka Fukushima, Daniel Plesniak, Daisuke Bekki:
Matrix and Relative Weak Crossover in Japanese: An Experimental Investigation. CoRR abs/2410.02149 (2024) - 2023
- [c48]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: 108-117 - [c47]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Temporal relation identification in functional requirements. KES 2023: 1161-1170 - [c46]Haruka Fukushima, Daniel Plesniak, Daisuke Bekki:
Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation. LENLS 2023: 68-83 - [c45]Daiki Matsuoka
Appositive Projection as Implicit Context Extension in Dependent Type Semantics. LENLS 2023: 224-243 - [e9]Daisuke Bekki, Koji Mineshima
Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers. Lecture Notes in Computer Science 14213, Springer 2023, ISBN 978-3-031-43976-6 [contents] - [i14]Daisuke Bekki, Hitomi Yanaka:
Is Japanese CCGBank empirically correct? A case study of passive and causative constructions. CoRR abs/2302.14708 (2023) - 2022
- [j4]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Implementing Natural Language Inference for comparatives. J. Lang. Model. 10(1) (2022) - [c44]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC 2022: 387-396 - [c43]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE 2022: 181-192 - [c42]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: 532-541 - 2021
- [c41]Daisuke Bekki:
A Proof-Theoretic Analysis of Weak Crossover. JSAI-isAI Workshops 2021: 228-241 - [i13]Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki:
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. CoRR abs/2106.14137 (2021) - 2020
- [c40]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Logical Inferences with Comparatives and Generalized Quantifiers. ACL (student) 2020: 263-270 - [c39]Hitomi Yanaka
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? ACL 2020: 6105-6117 - [c38]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Combining Event Semantics and Degree Semantics for Natural Language Inference. COLING 2020: 1758-1764 - [i12]Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui:
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? CoRR abs/2004.14839 (2020) - [i11]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Logical Inferences with Comparatives and Generalized Quantifiers. CoRR abs/2005.07954 (2020) - [i10]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Combining Event Semantics and Degree Semantics for Natural Language Inference. CoRR abs/2011.00961 (2020)
2010 – 2019
- 2019
- [j3]Yukiko Yana, Koji Mineshima, Daisuke Bekki:
Variable Handling and Compositionality: Comparing DRT and DTS. J. Log. Lang. Inf. 28(2): 261-285 (2019) - [c37]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI 2019: 7410-7417 - [c36]Masashi Yoshikawa, Hiroshi Noji
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. ACL (1) 2019: 129-139 - [c35]Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki:
Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) 2019: 386-392 - [c34]Hitomi Yanaka
Can Neural Networks Understand Monotonicity Reasoning? BlackboxNLP@ACL 2019: 31-40 - [c33]Hitomi Yanaka
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. *SEM@NAACL-HLT 2019: 250-255 - [i9]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 abs/1904.12166 (2019) - [i8]Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki:
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. CoRR abs/1906.01834 (2019) - [i7]Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki:
Multimodal Logical Inference System for Visual-Textual Entailment. CoRR abs/1906.03952 (2019) - [i6]Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos:
Can neural networks understand monotonicity reasoning? CoRR abs/1906.06448 (2019) - [i5]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
A CCG-based Compositional Semantics and Inference System for Comparatives. CoRR abs/1910.00930 (2019) - 2018
- [c32]Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki:
Neural sentence generation from formal semantics. INLG 2018: 408-414 - [c31]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. NAACL-HLT (2) 2018: 407-412 - [c30]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Acquisition of Phrase Correspondences Using Natural Deduction Proofs. NAACL-HLT 2018: 756-766 - [e8]Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta:
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. Lecture Notes in Computer Science 10838, Springer 2018, ISBN 978-3-319-93793-9 [contents] - [i4]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. CoRR abs/1804.07068 (2018) - [i3]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Acquisition of Phrase Correspondences using Natural Deduction Proofs. CoRR abs/1804.07656 (2018) - [i2]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. CoRR abs/1811.06203 (2018) - 2017
- [j2]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
Factivity and presupposition in Dependent Type Semantics. J. Lang. Model. 5(2): 385-420 (2017) - [c29]Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki:
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. EACL (1) 2017: 710-720 - [c28]Hitomi Yanaka
Determining Semantic Textual Similarity using Natural Deduction Proofs. EMNLP 2017: 681-691 - [e7]Mihoko Otake
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. Lecture Notes in Computer Science 10091, 2017, ISBN 978-3-319-50952-5 [contents] - [e6]Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki:
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. Lecture Notes in Computer Science 10247, Springer 2017, ISBN 978-3-319-61571-4 [contents] - [i1]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Determining Semantic Textual Similarity using Natural Deduction Proofs. CoRR abs/1707.08713 (2017) - 2016
- [c27]Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki:
ccg2lambda: A Compositional Semantics System. ACL (System Demonstrations) 2016: 85-90 - [c26]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: 10-19 - [c25]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: 2236-2242 - [c24]Eriko Kinoshita, Koji Mineshima, Daisuke Bekki:
An Analysis of Selectional Restrictions with Dependent Type Semantics. JSAI-isAI Workshops 2016: 19-32 - [c23]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. JSAI-isAI Workshops 2016: 123-137 - [c22]Daisuke Bekki, Ai Kawazoe:
Implementing Variable Vectors in a CCG Parser. LACL 2016: 52-67 - 2015
- [c21]Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki:
Higher-order logical inference with compositional semantics. EMNLP 2015: 2055-2061 - [c20]Ayako Nakamura, Koji Mineshima, Daisuke Bekki:
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. JOWO@IJCAI 2015 - [c19]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: 58-65 - [e5]Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9067, Springer 2015, ISBN 978-3-662-48118-9 [contents] - 2014
- [c18]Daisuke Bekki, Eric McCready:
CI via DTS. JSAI-isAI Workshops 2014: 23-36 - [c17]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
Resolving Modal Anaphora in Dependent Type Semantics. JSAI-isAI Workshops 2014: 83-98 - [c16]Daisuke Bekki:
Representing Anaphora with Dependent Types. LACL 2014: 14-29 - [c15]Kimi Kaneko, Daisuke Bekki:
Toward a Discourse Theory for Annotating Causal Relations in Japanese. PACLIC 2014: 460-469 - [e4]Yukiko I. Nakano, Ken Satoh, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8417, Springer 2014, ISBN 978-3-319-10060-9 [contents] - 2013
- [c14]Kimi Kaneko, Yusuke Miyao, Daisuke Bekki:
Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations. ACL (2) 2013: 273-277 - [c13]Ribeka Tanaka, Yuki Nakano, Daisuke Bekki:
Constructive Generalized Quantifiers Revisited. JSAI-isAI Workshops 2013: 115-124 - [c12]Hanako Yamamoto, Daisuke Bekki:
First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences. JSAI-isAI Workshops 2013: 154-164 - [e3]Yoichi Motomura, Alastair Butler, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7856, Springer 2013, ISBN 978-3-642-39930-5 [contents] - 2012
- [c11]Daisuke Bekki, Nicholas Asher:
Logical Polysemy and Subtyping. JSAI-isAI Workshops 2012: 17-24 - [c10]J.-R. Hayashishita, Daisuke Bekki:
On the Semantic Relation between Nominal and Quantity Expressions in Japanese. JSAI-isAI Workshops 2012: 41-52 - [c9]Yuri Ishishita, Daisuke Bekki:
Toward the Formulation of Presupposition by Illative Combinatory Logic. LACL 2012: 74-85 - [c8]Hiroko Ozaki, Daisuke Bekki:
Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. LACL 2012: 186-200 - [e2]Manabu Okumura, Daisuke Bekki, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7258, Springer 2012, ISBN 978-3-642-32089-7 [contents] - 2011
- [c7]J.-R. Hayashishita, Daisuke Bekki:
Conjoined Nominal Expressions in Japanese - Interpretation through Monad. JSAI-isAI Workshops 2011: 54-67 - [c6]Yuri Ozaki, Daisuke Bekki:
Conditional Logic Cb and Its Tableau System. LACL 2011: 190-204 - [e1]Takashi Onada, Daisuke Bekki, Eric McCready:
New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6797, Springer 2011, ISBN 978-3-642-25654-7 [contents] - 2010
- [c5]Daisuke Bekki:
Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -. JSAI-isAI Workshops 2010: 16-29
2000 – 2009
- 2009
- [j1]Ai Kawazoe, Lihua Jin, Mika Shigematsu, Daisuke Bekki, Roberto A. Barrero
The development of a schema for semantic annotation: Gain brought by a formal ontological method. Appl. Ontology 4(1): 5-20 (2009) - [c4]Daisuke Bekki:
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6). JSAI-isAI Workshops 2009: 159-160 - [c3]Daisuke Bekki, Kenichi Asai:
Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops 2009: 161-180 - 2008
- [c2]Daisuke Bekki:
Monads and Meta-lambda Calculus. JSAI 2008: 193-208 - 2006
- [c1]Manabu Sato, Daisuke Bekki, Yusuke Miyao, Jun'ichi Tsujii:
Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic. ACL 2006
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: