Papers - BEKKI Daisuke

Division display  81 - 100 of about 128 ／  All the affair displays >>

  1. Extractability as Deduction Theorem in Subdirectional Combinatory Logic

    Proceedings of LENLS8, , vol.ー(ー)(p.ー), 2011.12, Ozaki, Hiroko Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

  2. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks － (revised version)

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2011.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

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

    New Frontiers in Artificial Intelligence (LNAI 6797), , vol.ー(ー)(p.ー), 2011.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  4. Conditional Logic Cb and its Tableau System

    Logical Aspects of Computational Linguistics (LNAI 6736), , vol.ー(ー)(p.ー), 2011.07, Ozaki, Yuri Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

  5. Conditional Logic Cb and its Tableau System

    Proceedings of LACL2011, , vol.ー(ー)(p.ー), 2011.06, Yuri, Ozaki Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

  6. Conditional Logic Cb and its Tableau System

    vol.ー(ー)(p.ー), 2011.03, Ozaki, Yuri and Daisuke Bekki, Original, Research paper (scientific journal), Coauthor

  7. Categorical Semantics of Meta-Lambda Calculus

    vol.ー(ー)(p.ー), 2011.03, Masuko, Moe and Daisuke Bekki, Original, Research paper (scientific journal), Coauthor

  8. Classification of Modal Expressions for the Credibility annotation of Linguistic Information

    vol.ー(ー)(p.ー), 2010.12, Original, Research paper (scientific journal), Coauthor

  9. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks －

    Proceedings of LENLS7, , vol.ー(ー)(p.ー), 2010.11, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  10. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2010.07, Bekki, Daisuke Kenichi Asai, Original, Research paper (scientific journal), Capital Author

  11. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence (LNAI6284), , vol.ー(ー)(p.ー), 2010.07, Bekki, Daisuke, Original, Research paper (scientific journal), Capital Author

  12. "Komimi-ni Hasamu" --- Suffix Raising Analysis vs. Type Raising Analysis

    vol.ー(ー)(p.ー), 2010.06, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  13. Representing Covert Movements by Delimited Continuations

    Proceedings of LENLS6, , vol.ー(ー)(p.ー), 2009.11, Bekki, Daisuke Kenichi Asai, Original, Research paper (scientific journal), Capital Author

  14. The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system

    Applied Ontology, , vol.ー(ー)(p.ー), 2009.10, Ai Kawazoe. Lihua Jin. Mika Shigematsu. Daisuke Bekki. Roberto Barrero. Kiyosu Taniguchi. Nigel Collier, Original, Research paper (scientific journal), Coauthor

  15. Monads and Meta-Lambda Calculus (revised version)

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2009.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  16. Monads and Meta-Lambda Calculus

    New Frontiers in Artificial Intelligence (LNAI 5447), , vol.ー(ー)(p.ー), 2009.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  17. The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system

    Applied Ontology, , vol.ー(ー)(p.ー), 2009.04, Ai Kawazoe. Lihua Jin. Mika Shigematsu. Daisuke Bekki. Roberto Barrero. Kiyosu Taniguchi. Nigel Collier, Original, Research paper (scientific journal), Coauthor

  18. Monads and Meta-Lambda Calculus

    Proceedings of LENLS2008, , vol.ー(ー)(p.ー), 2008.11, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

  19. A note on "same"

    T-SAC Journal, , vol.ー(ー)(p.ー), 2006.12, Kawazoe, Ai Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

  20. Translating HPSG-style outputs of a robust parser into Typed Dynamic Logic

    Proceedings of the COLING/ACL 2006, , vol.ー(ー)(p.ー), 2006.06, Manabu, Sato. Daisuke, Bekki. Yusuke, Miyao. Jun'ichi, Tsujii, Original, Research paper (scientific journal), Coauthor

< PREV - NEXT >

To the head of this page.▲