• DocumentCode
    2708656
  • Title

    The Theory Grid and Grid Theorists

  • Author

    Cheng, Jingde ; Nara, Shinsuke ; Koh, Takahiro ; Goto, Yuichi

  • Author_Institution
    Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama, Japan
  • fYear
    2006
  • fDate
    1-3 Nov. 2006
  • Firstpage
    32
  • Lastpage
    32
  • Abstract
    This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.
  • Keywords
    grid computing; grid theorist; shared formal theory; theory grid; virtual organization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Semantics, Knowledge and Grid, 2006. SKG '06. Second International Conference on
  • Conference_Location
    Guilin
  • Print_ISBN
    0-7695-2673-X
  • Type

    conf

  • DOI
    10.1109/SKG.2006.104
  • Filename
    5727669
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2708656