Order:
  1. The Development of a Schema for Semantic Annotation: Gain Brought by a Formal Ontological Method.Ai Kawazoe, Lihua Jin, Mika Shigematsu, Daisuke Bekki, Roberto Barrero, Kiyosu Taniguchi & Nigel Collier - 2009 - Applied Ontology 4 (1):5-20.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  8
    Variable Handling and Compositionality: Comparing DRT and DTS.Yukiko Yana, Koji Mineshima & Daisuke Bekki - 2019 - Journal of Logic, Language and Information 28 (2):261-285.
    This paper provides a detailed comparison between discourse representation theory and dependent type semantics, two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these problems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Monads and Meta-Lambda Calculus.Daisuke Bekki - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 193--208.
    Direct download  
     
    Export citation  
     
    Bookmark