LEADER 05378nam 22009975 450 001 9910473457803321 005 20230126210457.0 010 $a3-030-72308-9 024 7 $a10.1007/978-3-030-72308-8 035 $a(CKB)4100000011797588 035 $a(DE-He213)978-3-030-72308-8 035 $a(MiAaPQ)EBC6520824 035 $a(Au-PeEL)EBL6520824 035 $a(OCoLC)1244118169 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/67958 035 $a(PPN)254719287 035 $a(EXLCZ)994100000011797588 100 $a20210315d2021 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 $e6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /$fedited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph 205 $a1st ed. 2021. 210 $cSpringer Nature$d2021 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v12640 311 $a3-030-72307-0 327 $aExtended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. 330 $aThis open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities. 410 0$aLecture Notes in Artificial Intelligence ;$v12640 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer communication systems 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 610 $aArtificial Intelligence 610 $aInformation Systems Applications (incl. Internet) 610 $aComputer Communication Networks 610 $aMathematical Logic and Formal Languages 610 $aComputer and Information Systems Applications 610 $aFormal Languages and Automata Theory 610 $aopen access 610 $aconcept lattices 610 $adata mining 610 $adatabases 610 $afca 610 $aformal concept analysis 610 $aformal languages 610 $aformal logic 610 $ainformation analysis 610 $ainformation systems 610 $aknowledge-based system 610 $amodel-based reasoning 610 $anetwork protocols 610 $aontologies 610 $aInformation retrieval 610 $aInternet searching 610 $aNetwork hardware 610 $aMathematical theory of computation 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 700 $aCochez$b Michael$4edt$01354920 702 $aCochez$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 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 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910473457803321 996 $aGraph Structures for Knowledge Representation and Reasoning$93358689 997 $aUNINA