Daisuke Bekki

发表

Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser

Pascual Martínez-Gómez, Yusuke Miyao, Koji Mineshima, 2016, EMNLP.

Coercion as Proof Search in Dependent Type Semantics

Koji Mineshima, Daisuke Bekki, Eriko Kinoshita, 2018, Oslo Studies in Language.

Can Neural Networks Understand Monotonicity Reasoning? pdf

Johan Bos, Kentaro Inui, Satoshi Sekine, 2019, BlackboxNLP@ACL.

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

Jun'ichi Tsujii, Manabu Sato, Yusuke Miyao, 2006, ACL.

Resolving Modal Anaphora in Dependent Type Semantics

Koji Mineshima, Ribeka Tanaka, Daisuke Bekki, 2014, JSAI-isAI Workshops.

Logical Polysemy and Subtyping

Daisuke Bekki, Nicholas Asher, 2012, JSAI-isAI Workshops.

Conjoined Nominal Expressions in Japanese - Interpretation through Monad

Daisuke Bekki, J.-R. Hayashishita, J. Hayashishita, 2011, JSAI-isAI Workshops.

Toward the Formulation of Presupposition by Illative Combinatory Logic

Daisuke Bekki, Yuri Ishishita, D. Bekki, 2012, LACL.

ccg2lambda: A Compositional Semantics System

Pascual Martínez-Gómez, Yusuke Miyao, Koji Mineshima, 2016, ACL.

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning pdf

Johan Bos, Kentaro Inui, Satoshi Sekine, 2019, *SEMEVAL.

Learning Semantic Textual Relatedness using Natural Deduction Proofs

Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki, 2018, Journal of Natural Language Processing.

Neural sentence generation from formal semantics

Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki, 2018, INLG.

Multimodal Logical Inference System for Visual-Textual Entailment

Koji Mineshima, Daisuke Bekki, Hitomi Yanaka, 2019, ACL.

Extractability as the Deduction Theorem in Subdirectional Combinatory Logic

Daisuke Bekki, Hiroko Ozaki, 2012, LACL.

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning pdf

Koji Mineshima, Daisuke Bekki, Masashi Yoshikawa, 2018, NAACL-HLT.

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

Daisuke Bekki, 2009, JSAI-isAI Workshops.

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

Koji Mineshima, Daisuke Bekki, Masashi Yoshikawa, 2019, AAAI.

On the Semantic Relation between Nominal and Quantity Expressions in Japanese

Daisuke Bekki, J.-R. Hayashishita, 2012, JSAI-isAI Workshops.

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

Yusuke Miyao, Daisuke Bekki, Kimi Kaneko, 2013, ACL.

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

Koji Mineshima, Ribeka Tanaka, Daisuke Bekki, 2016, JSAI-isAI Workshops.

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

Daisuke Bekki, D. Bekki, 2010, JSAI-isAI Workshops.

Constructive Generalized Quantifiers Revisited

Yuki Nakano, Ribeka Tanaka, Daisuke Bekki, 2013, JSAI-isAI Workshops.

Context-Passing and Underspecification in Dependent Type Semantics

Koji Mineshima, Daisuke Bekki, K. Mineshima, 2017 .

Implementing Variable Vectors in a CCG Parser

Ai Kawazoe, Daisuke Bekki, 2016, LACL.

The development of a schema for semantic annotation: Gain brought by a formal ontological method

Nigel Collier, Ai Kawazoe, Daisuke Bekki, 2009, Appl. Ontology.

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

Koji Mineshima, Daisuke Bekki, Ayako Nakamura, 2015, JOWO@IJCAI.

Questions in Dependent Type Semantics

Koji Mineshima, Daisuke Bekki, Kazuki Watanabe, 2019 .

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

Koji Mineshima, Daisuke Bekki, Saku Sugawara, 2016, ALR@COLING.

Acquisition of Phrase Correspondences Using Natural Deduction Proofs pdf

Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki, 2018, NAACL.

Combining Event Semantics and Degree Semantics for Natural Language Inference pdf

Koji Mineshima, Daisuke Bekki, Izumi Haruta, 2020, COLING.

Higher-order logical inference with compositional semantics

Pascual Martínez-Gómez, Yusuke Miyao, Koji Mineshima, 2015, EMNLP.

An Analysis of Selectional Restrictions with Dependent Type Semantics

Koji Mineshima, Daisuke Bekki, Eriko Kinoshita, 2016, JSAI-isAI Workshops.

CI via DTS

Daisuke Bekki, Eric McCready, E. McCready, 2014, JSAI-isAI Workshops.

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment

Pascual Martínez-Gómez, Yusuke Miyao, Koji Mineshima, 2017, EACL.

New Frontiers in Artificial Intelligence

Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki, 2014, Lecture Notes in Computer Science.

Determining Semantic Textual Similarity using Natural Deduction Proofs

Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki, 2017, EMNLP.

Building a Japanese Corpus of Temporal-Causal-Discourse Structures Based on SDRT for Extracting Causal Relations

Daisuke Bekki, Kimi Kaneko, 2014, EACL 2014.

Conditional Logic Cb and Its Tableau System

Daisuke Bekki, Yuri Ozaki, 2011, LACL.

Factivity and presupposition in Dependent Type Semantics

Koji Mineshima, Ribeka Tanaka, Daisuke Bekki, 2017, J. Lang. Model..

Underspecification and interpretive parallelism in Dependent Type Semantics

Koji Mineshima, Daisuke Bekki, Yusuke Kubota, 2019 .

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

Kentaro Inui, Koji Mineshima, Daisuke Bekki, 2020, ACL.

Typed Dynamic Logic for Compositional Grammar

Daisuke Bekki, D. Bekki, 2007 .

New Frontiers in Artificial Intelligence

Daisuke Bekki, Ken Satoh, Yukiko Nakano, 2017, Lecture Notes in Computer Science.

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

Ai Kawazoe, Koji Mineshima, Ribeka Tanaka, 2015, JSAI-isAI Workshops.

Variable Handling and Compositionality: Comparing DRT and DTS

Koji Mineshima, Daisuke Bekki, Yukiko Yana, 2019, Journal of Logic, Language and Information.

Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence

Daisuke Bekki, Alastair Butler, Yoichi Motomura, 2010 .

Logical Inferences with Comparatives and Generalized Quantifiers pdf

Koji Mineshima, Daisuke Bekki, Izumi Haruta, 2020, ACL.

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation

Koji Mineshima, Daisuke Bekki, Masashi Yoshikawa, 2019, ACL.

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

Daisuke Bekki, Hanako Yamamoto, 2013, JSAI-isAI Workshops.

Representing Anaphora with Dependent Types

Daisuke Bekki, 2014, LACL.

Monads and Meta-lambda Calculus

Daisuke Bekki, 2008, JSAI.

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

Koji Mineshima, Daisuke Bekki, Izumi Haruta, 2019, ArXiv.

Toward a Discourse Theory for Annotating Causal Relations in Japanese

Daisuke Bekki, Kimi Kaneko, 2014, PACLIC.

Representing Covert Movements by Delimited Continuations

Daisuke Bekki, Kenichi Asai, 2009, JSAI-isAI Workshops.

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

Koji Mineshima, Daisuke Bekki, Hitomi Yanaka, 2021, MMSR.

Calculating Projections via Type Checking

Daisuke Bekki, Miho Satoh, D. Bekki, 2015 .