• DocumentCode
    1652804
  • Title

    A formal approach to visual proving based on logic programming

  • Author

    Hagiya, Masami

  • Author_Institution
    RIMS, Kyoto Univ., Japan
  • fYear
    1992
  • Firstpage
    234
  • Lastpage
    236
  • Abstract
    Gives a general framework for visual proving based on logic programming, by giving a mapping from figures to formulas. For a figure consisting of graphic objects and constraints, the author formally defines the set of facts that are visible in the figure. As a result, one can rigorously formalize the soundness of reasoning by figures
  • Keywords
    logic programming; programming theory; theorem proving; visual programming; constraints; figures; formulas; graphic objects; logic programming; theorem proving; visual proving; Arithmetic; Constraint theory; Graphics; Logic programming; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Visual Languages, 1992. Proceedings., 1992 IEEE Workshop on
  • Conference_Location
    Seattle, WA
  • Print_ISBN
    0-8186-3090-6
  • Type

    conf

  • DOI
    10.1109/WVL.1992.275756
  • Filename
    275756
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1652804