LEADER 05036nam 22008535 450 001 996466362203316 005 20200705221738.0 010 $a3-319-28702-8 024 7 $a10.1007/978-3-319-28702-7 035 $a(CKB)4340000000001277 035 $a(SSID)ssj0001616737 035 $a(PQKBManifestationID)16349231 035 $a(PQKBTitleCode)TC0001616737 035 $a(PQKBWorkID)14919707 035 $a(PQKB)10202450 035 $a(DE-He213)978-3-319-28702-7 035 $a(MiAaPQ)EBC6306648 035 $a(MiAaPQ)EBC5595916 035 $a(Au-PeEL)EBL5595916 035 $a(OCoLC)1076235157 035 $a(PPN)191705578 035 $a(EXLCZ)994340000000001277 100 $a20160102d2015 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] $e4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /$fedited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (VII, 155 p. 48 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v9501 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-28701-X 327 $aDesigning a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected from 10 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: argumentation; conceptual graphs; RDF; and representations of constraint satisfaction problems. 410 0$aLecture Notes in Artificial Intelligence ;$v9501 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 $a996466362203316 996 $aGraph Structures for Knowledge Representation and Reasoning$91903158 997 $aUNISA LEADER 01467oam 2200385 450 001 9910711317803321 005 20190722090715.0 035 $a(CKB)5470000002482857 035 $a(OCoLC)1052467360 035 $a(EXLCZ)995470000002482857 100 $a20180913d2018 ua 0 101 0 $aeng 135 $aurbn||||a|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDOE modernization $eadvancing the economic and national security benefits of America's nuclear infrastructure : hearing before the Subcommittee on Energy of the Committee on Energy and Commerce, House of Representatives, One Hundred Fifteenth Congress, second session, February 6, 2018 210 1$aWashington :$cU.S. Government Publishing Office,$d2018. 215 $a1 online resource (iii, 211 pages) $cillustrations 300 $a"Serial No. 115-97." 320 $aIncludes bibliographical references. 517 $aDOE modernization 606 $aRadioactive waste sites$xCleanup$zUnited States 606 $aRadioactive wastes$zUnited States$xManagement 606 $aNational security$zUnited States 608 $aLegislative hearings.$2lcgft 615 0$aRadioactive waste sites$xCleanup 615 0$aRadioactive wastes$xManagement. 615 0$aNational security 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910711317803321 996 $aDOE modernization$93494511 997 $aUNINA