LEADER 04720nam 22008055 450 001 996465557203316 005 20211006221840.0 010 $a3-642-29449-9 024 7 $a10.1007/978-3-642-29449-5 035 $a(CKB)3400000000085261 035 $a(SSID)ssj0000697507 035 $a(PQKBManifestationID)11460667 035 $a(PQKBTitleCode)TC0000697507 035 $a(PQKBWorkID)10708652 035 $a(PQKB)11395924 035 $a(DE-He213)978-3-642-29449-5 035 $a(MiAaPQ)EBC3069965 035 $a(PPN)168314576 035 $a(EXLCZ)993400000000085261 100 $a20120526d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGraph Structures for Knowledge Representation and Reasoning$b[electronic resource] $eSecond International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /$fedited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (VII, 209 p. 77 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v7205 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-29448-0 320 $aIncludes bibliographical references and index. 327 $aBayesian networks -- semantic networks -- conceptual graphs -- formal concept analysis -- cp-nets -- gai-nets --  euler diagrams -- existential graphs -- semantic Web -- recommender systems.-bioinformatics. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.). 410 0$aLecture Notes in Artificial Intelligence ;$v7205 606 $aArtificial intelligence 606 $aMathematical logic 606 $aAlgorithms 606 $aComputer logic 606 $aComputer programming 606 $aComputers 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aComputation by Abstract Devices. 676 $a006.3 702 $aCroitoru$b Madalina$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRudolph$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWilson$b Nic$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHowse$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCorby$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465557203316 996 $aGraph Structures for Knowledge Representation and Reasoning$91903158 997 $aUNISA