00828nam0 2200289 450 00001119120180531100402.020080514d1952----km-y0itay50------baitaengITy-------001yy<<Il >>mare intorno a noiR. L. CarsonRomaCasinistampa 1952252 p.ill.21 cm<<La >>nave d'Ulisse003Trad. di Giorgio Iannuzzi2001<<La >>nave d'Ulisse2001Sea around us36824Mare551.4619Oceanografia574.9219Carson,Rachel72677ITUNIPARTHENOPE20080514RICAUNIMARC000011191574.92/10910515PISTSea around us36824UNIPARTHENOPE03643nam 22007335 450 991048401580332120251226204031.03-319-04534-210.1007/978-3-319-04534-4(CKB)3710000000085796(DE-He213)978-3-319-04534-4(SSID)ssj0001187212(PQKBManifestationID)11673880(PQKBTitleCode)TC0001187212(PQKBWorkID)11256424(PQKB)11272568(MiAaPQ)EBC3101142(PPN)176109390(EXLCZ)99371000000008579620140121d2014 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierGraph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (X, 211 p. 64 illus.) Lecture Notes in Artificial Intelligence,2945-9141 ;8323Bibliographic Level Mode of Issuance: Monograph3-319-04533-4 Includes bibliographical references and index.Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.This 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.Lecture Notes in Artificial Intelligence,2945-9141 ;8323Artificial intelligenceMachine theoryComputer scienceMathematicsDiscrete mathematicsArtificial IntelligenceFormal Languages and Automata TheoryDiscrete Mathematics in Computer ScienceArtificial intelligence.Machine theory.Computer scienceMathematics.Discrete mathematics.Artificial Intelligence.Formal Languages and Automata Theory.Discrete Mathematics in Computer Science.006.332SS 4800rvkCroitoru Madalinaedthttp://id.loc.gov/vocabulary/relators/edtRudolph Sebastianedthttp://id.loc.gov/vocabulary/relators/edtWoltran Stefanedthttp://id.loc.gov/vocabulary/relators/edtGonzales Christopheedthttp://id.loc.gov/vocabulary/relators/edtGKR (Conference)MiAaPQMiAaPQMiAaPQBOOK9910484015803321Graph Structures for Knowledge Representation and Reasoning1903158UNINA