Second International Conference on Semantics, Knowledge, and Grid (SKG'06) The Theory Grid and Grid Theorists Guilin, Guangxi, China November 01-November 03 ISBN: 0-7695-2673-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SKG.2006.104
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.
Citation:
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto, "The Theory Grid and Grid Theorists," skg, pp.32, Second International Conference on Semantics, Knowledge, and Grid (SKG'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||