OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : stať ve sborníku (D)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF
Citace : Lukasová, A., Žáček, M. a Vajgl, M. Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF. In: Modern Trends and Techniques in Computer Science, AISC 285. Switzerland: Springer International Publishing, 2014. Springer International Publishing, 2014. s. 455-466. ISBN 978-3-319-06740-7.
Podnázev :
Rok * : 2014
Obor * : Informatika
Počet stran * : 11
Strana od * : 455
Strana do * : 466
Forma vydání * : Tištená verze
Kód ISBN * : 978-3-319-06740-7
Kód ISSN :
Název sborníku * : Modern Trends and Techniques in Computer Science, AISC 285
Sborník : Mezinárodní
Název nakladatele * : Springer International Publishing
Místo vydání * : Switzerland
Stát vydání : Sborník vydaný v ČR
Název konference : 3rd Computer Science On-line Conference 2014 (CSOC 2014)
Místo konání konference * : UTB Zlín
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celostátní akce
Kód UT WoS :
EID : 2-s2.0-84923788102
Klíčová slova anglicky * :
Graph, RDF, default theory, GCFL, clausal form logic.
Popis v původním jazyce * :
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.
Popis v anglickém jazyce * :
Typ zdroje financování výsledku * : Specifický výzkum
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/14:A1501B8I

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}