Logic and Engineering of Natural Language Semantics: 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers von Bekki, Daisuke, Mineshima, Koji, McCready, Elin

Volltext

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers von Bekki, Daisuke, Mineshima, Koji, McCready, Elin

Volltext

Implementing Natural Language Inference for comparatives von Haruta, Izumi, Mineshima, Koji, Bekki, Daisuke

Volltext

Variable Handling and Compositionality: Comparing DRT and DTS von Yana, Yukiko, Mineshima, Koji, Bekki, Daisuke

Volltext

New Frontiers in Artificial Intelligence: JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers von Arai, Sachiyo, Kojima, Kazuhiro, Mineshima, Koji, Bekki, Daisuke, Satoh, Ken, Ohta, Yuiko

Volltext

Constructive Generalized Quantifiers Revisited von Tanaka, Ribeka, Nakano, Yuki, Bekki, Daisuke

Volltext

Implementing Variable Vectors in a CCG Parser von Bekki, Daisuke, Kawazoe, Ai

Volltext

Coercion as Proof Search in Dependent Type Semantics von Kinoshita, Eriko, Mineshima, Koji, Bekki, Daisuke

Volltext

New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers von Murata, Tsuyoshi, Mineshima, Koji, Bekki, Daisuke

Volltext

Factivity and presupposition in Dependent Type Semantics von Tanaka, Ribeka, Mineshima, Koji, Bekki, Daisuke

Volltext

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 P...

Volltext

A Proof-Theoretic Analysis of Weak Crossover von Bekki, Daisuke

Volltext

Extractability as the Deduction Theorem in Subdirectional Combinatory Logic von Ozaki, Hiroko, Bekki, Daisuke

Volltext

Toward the Formulation of Presupposition by Illative Combinatory Logic von Ishishita, Yuri, Bekki, Daisuke

Volltext

New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

Volltext

Temporal relation identification in functional requirements von Onishi, Maiko, Ogata, Shinpei, Okano, Kozo, Bekki, Daisuke

Volltext

Logic and Engineering of Natural Language Semantics: 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers

Volltext

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 von Kurahashi, Setsuya, Ohta, Yuiko, Arai, Sachiyo, Satoh, Ken, Bekki, Daisuke

Volltext

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 P... von Otake, Mihoko, Kurahashi, Setsuya, Ota, Yuiko, Satoh, Ken, Bekki, Daisuke

Volltext

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers

Volltext