LEADER 04629nam 22007815 450 001 996465485403316 005 20200704044245.0 010 $a3-319-78102-2 024 7 $a10.1007/978-3-319-78102-0 035 $a(CKB)4100000002892527 035 $a(DE-He213)978-3-319-78102-0 035 $a(MiAaPQ)EBC6296144 035 $a(MiAaPQ)EBC5579120 035 $a(Au-PeEL)EBL5579120 035 $a(OCoLC)1030437091 035 $a(PPN)225550865 035 $a(EXLCZ)994100000002892527 100 $a20180320d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGraph Structures for Knowledge Representation and Reasoning$b[electronic resource] $e5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers /$fedited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (VII, 139 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10775 311 $a3-319-78101-4 327 $aExploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. The 7 revised full papers presented were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background allows to bridge the gap between the different communities. 410 0$aLecture Notes in Artificial Intelligence ;$v10775 606 $aArtificial intelligence 606 $aMathematical logic 606 $aApplication software 606 $aInformation storage and retrieval 606 $aComputer communication systems 606 $aMathematical statistics 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 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 0$aComputer communication systems. 615 0$aMathematical statistics. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 615 24$aComputer Communication Networks. 615 24$aProbability and Statistics in Computer Science. 676 $a006.332 702 $aCroitoru$b Madalina$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarquis$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRudolph$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStapleton$b Gem$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465485403316 996 $aGraph Structures for Knowledge Representation and Reasoning$91903158 997 $aUNISA