Results for 'Tijn Borghuis'

8 found
Order:
  1.  34
    Modal Pure Type Systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.
    We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Index of Authors of Volume 7.V. M. Abrusci, G. Attardi, D. Basin, R. Booth, T. Borghuis, S. Buvac, M. Cadoli, J. Cantwell, H. de Nivelle & M. Dymetman - 1998 - Journal of Logic, Language, and Information 7 (507):507.
     
    Export citation  
     
    Bookmark  
  3.  5
    Countryman, M. 179 Chomsky, N. 258 Craft, WD 136,140 Cutting, JE 190.M. A. Arbib, R. Arnheim, S. Appell, F. Attneave, R. Battison, U. Bellugi, B. Borghuis, E. Brunswik, K. Buhler & L. Burke - 2002 - In Liliana Albertazzi (ed.), Unfolding Perceptual Continua. Amsterdam: John Benjamins. pp. 283.
  4.  3
    Countryman, M. 179 Chomsky, N. 258 Craft, WD 136, 140.S. Appell & B. Borghuis - 2002 - In Liliana Albertazzi (ed.), Unfolding Perceptual Continua. Amsterdam: John Benjamins. pp. 41--283.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  15
    Resting State Functional Connectivity Differences Between Behavioral Variant Frontotemporal Dementia and Alzheimer's Disease.Anne Hafkemeijer, Christiane Möller, Elise G. P. Dopper, Lize C. Jiskoot, Tijn M. Schouten, John C. van Swieten, Wiesje M. van der Flier, Hugo Vrenken, Yolande A. L. Pijnenburg, Frederik Barkhof, Philip Scheltens, Jeroen van der Grond & Serge A. R. B. Rombouts - 2015 - Frontiers in Human Neuroscience 9.
  6.  23
    RoboCupHome: Scientific Competition and Benchmarking for Domestic Service Robots.Thomas Wisspeintner, Tijn van der Zant, Luca Iocchi & Stefan Schiffer - 2009 - Interaction Studies 10 (3):392-426.
  7. Information States, Attitudes and Dependent Record Types.Robin Cooper - unknown
    Within the community of researchers applying type theory to natural language there have been proposals to use contexts from type theory to model information states and to use context extension to model information updates. Examples of this are Ranta (1994) and research conducted in the DenK project (e.g. Ahn, 1995, Ahn and Borghuis, 1998).
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  1
    RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots.Thomas Wisspeintner, Tijn van der Zant, Luca Iocchi & Stefan Schiffer - 2009 - Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems 10 (3):392-426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark