 | 2011 |
| 8 |  | 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
Springer 2011 |
| 7 |  | Yuri Ozaki,
Daisuke Bekki:
Conditional Logic Cb and Its Tableau System.
LACL 2011: 190-204 |
| 2010 |
| 6 |  | Daisuke Bekki:
Combinatory Categorial Grammar as a Substructural Logic - - Preliminary Remarks -.
JSAI-isAI Workshops 2010: 16-29 |
| 2009 |
| 5 |  | Daisuke Bekki:
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6).
JSAI-isAI Workshops 2009: 159-160 |
| 4 |  | Daisuke Bekki,
Kenichi Asai:
Representing Covert Movements by Delimited Continuations.
JSAI-isAI Workshops 2009: 161-180 |
| 3 |  | 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) |
| 2008 |
| 2 |  | Daisuke Bekki:
Monads and Meta-lambda Calculus.
JSAI 2008: 193-208 |
| 2006 |
| 1 |  | Manabu Sato,
Daisuke Bekki,
Yusuke Miyao,
Jun-ichi Tsujii:
Translating HPSG-Style Outputs of a Robust Parser into Typed Dynamic Logic.
ACL 2006 |