Types and Programs from Euler Diagrams

被引：0
|
作者：
Burton, James [1 ]
机构：
[1] Univ Brighton, Visual Modelling Grp, Brighton BN2 4AT, E Sussex, England
来源：
DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS | 2008年 / 5223卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present, part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly, into the type system of a programming language.
引用
收藏
页码：357 / 359
页数：3
相关论文
共 50 条
  • [41] Defining Euler diagrams: Simple or what?
    Fish, Andrew
    Stapleton, Gem
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2006, 4045 : 109 - 111
  • [42] Improving User Comprehension of Euler Diagrams
    Blake, Andrew
    Stapleton, Gem
    Rodgers, Peter
    Cheek, Liz
    Howse, John
    2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), 2013, : 189 - 190
  • [43] Drawing Euler Diagrams with Circles and Ellipses
    Stapleton, Gem
    Rodgers, Peter
    2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011), 2011, : 209 - 212
  • [44] Properties of Euler Diagrams and Graphs in Combination
    Sathiyanarayanan, Mithileysh
    Stapleton, Gem
    Burton, Jim
    Howse, John
    2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), 2014, : 217 - 218
  • [45] Projections in Venn-Euler diagrams
    Gil, J
    Howse, J
    Kent, S
    Taylor, J
    2000 IEEE INTERNATIONAL SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 2000, : 119 - 126
  • [46] Interactive Visual Classification with Euler Diagrams
    Cordasco, Gennaro
    De Chiara, Rosario
    Fish, Andrew
    2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2009, : 185 - +
  • [47] Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications
    Schwarzentruber, Francois
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (04) : 375 - 408
  • [48] Computer Representation of Venn and Euler Diagrams
    Wijesinghe, Diunuge B.
    Ranathunga, Surangika
    Dias, Gihan
    2016 SIXTEENTH INTERNATIONAL CONFERENCE ON ADVANCES IN ICT FOR EMERGING REGIONS (ICTER) - 2016, 2016, : 100 - 105
  • [49] ON-LINE PROGRAMS FROM CONTROL LOGIC DIAGRAMS
    TURNER, G
    CONTROL ENGINEERING, 1968, 15 (09) : 102 - &
  • [50] Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
    Schwarzentruber, Francois
    Hao, Jin-Kao
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 582 - 590
12345