Daisuke Bekki

Yuri Ishishita, Daisuke Bekki: Toward the Formulation of Presupposition by Illative Combinatory Logic. LACL 2012: 74-85

Hiroko Ozaki, Daisuke Bekki: Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. LACL 2012: 186-200

Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.): 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

J.-R. Hayashishita, Daisuke Bekki: Conjoined Nominal Expressions in Japanese - Interpretation through Monad. JSAI-isAI Workshops 2011: 54-67

Yuri Ozaki, Daisuke Bekki: Conditional Logic C_b and Its Tableau System. LACL 2011: 190-204

Takashi Onada, Daisuke Bekki, Eric McCready (Eds.): 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

Daisuke Bekki: Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -. JSAI-isAI Workshops 2010: 16-29

Ai Kawazoe, Lihua Jin, Mika Shigematsu, Daisuke Bekki, Roberto Barrero, Kiyosu Taniguchi, Nigel Collier: The development of a schema for semantic annotation: Gain brought by a formal ontological method. Applied Ontology 4(1): 5-20 (2009)

Daisuke Bekki: 6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6). JSAI-isAI Workshops 2009: 159-160

Daisuke Bekki, Kenichi Asai: Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops 2009: 161-180

Daisuke Bekki: Monads and Meta-lambda Calculus. JSAI 2008: 193-208

Manabu Sato, Daisuke Bekki, Yusuke Miyao, Jun'ichi Tsujii: Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic. ACL 2006