. "Switzerland" . "3"^^ . "Springer International Publishing" . "[9390DE5A10BD]" . . "Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF"@en . "UTB Zl\u00EDn" . . . . "3"^^ . "2014-04-28+02:00"^^ . . "Vajgl, Marek" . "Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF" . . "17310" . "Lukasov\u00E1, Alena" . "The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based Clausal Form Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories." . . "978-3-319-06740-7" . . . "Graph; RDF; default theory; GCFL; clausal form logic."@en . . "S" . "The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based Clausal Form Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories."@en . . . . . . . "11"^^ . . "RIV/61988987:17310/14:A1501B8I!RIV15-MSM-17310___" . "Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF"@en . "RIV/61988987:17310/14:A1501B8I" . "\u017D\u00E1\u010Dek, Martin" . "5925" . "Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF" . . "Modern Trends and Techniques in Computer Science, AISC 285" .