Please use this identifier to cite or link to this item:
|Type:||Artigo de periódico|
|Title:||Automatic theory formation in graph theory|
|Abstract:||This paper presents SCOT, a system for automatic theory construction in the domain of Graph Theory. Following on the footsteps of the programs ARE , HR  and Cyrano , concept discovery is modeled as search in a concept space. We propose a classification for discovery heuristics, which takes into account the main processes related to theory construction: concept construction, example production, example analysis, conjecture construction, and conjecture analysis.|
|Editor:||Sociedade Brasileira de Computação|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.