TY - BOOK AU - Croitoru,Madalina AU - Rudolph,Sebastian AU - Woltran,Stefan AU - Gonzales,Christophe ED - SpringerLink (Online service) TI - Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783319045344 AV - Q334-342 U1 - 006.3 23 PY - 2014/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer Science KW - Computational complexity KW - Artificial intelligence KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages KW - Discrete Mathematics in Computer Science N1 - Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks N2 - 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 UR - http://dx.doi.org/10.1007/978-3-319-04534-4 ER -