LEADER 03940nam  22007455  450 
001 996205183803316
005 20200630063402.0
010   $a3-319-04534-2
024 7 $a10.1007/978-3-319-04534-4
035   $a(CKB)3710000000085796
035   $a(DE-He213)978-3-319-04534-4
035   $a(SSID)ssj0001187212
035   $a(PQKBManifestationID)11673880
035   $a(PQKBTitleCode)TC0001187212
035   $a(PQKBWorkID)11256424
035   $a(PQKB)11272568
035   $a(MiAaPQ)EBC3101142
035   $a(PPN)176109390
035   $a(EXLCZ)993710000000085796
100   $a20140121d2014      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] $eThird International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /$fedited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 211 p. 64 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v8323
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-04533-4 
320   $aIncludes bibliographical references and index.
327   $aRepresentations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. 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: representations of constraint satisfaction problems; formal concept analysis; conceptual graphs; and argumentation frameworks.
410  0$aLecture Notes in Artificial Intelligence ;$v8323
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer science?Mathematics
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   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
608   $aKongress$zPeking$y2013.
608   $aConference proceedings.$2fast
608   $aOnline-Publikation.$2gnd
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
676   $a006.332
686   $aSS 4800$2rvk
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   $aWoltran$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGonzales$b Christophe$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aGKR (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996205183803316
996   $aGraph Structures for Knowledge Representation and Reasoning$91903158
997   $aUNISA