TY - BOOK AU - Croitoru,Madalina AU - Rudolph,Sebastian AU - Woltran,Stefan AU - Gonzales,Christophe TI - Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers SN - 9783319045344 PY - 2014/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Mathematical logic KW - Mathematics KW - Artificial intelligence N1 - Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks UR - http://dx.doi.org/10.1007/978-3-319-04534-4 ER -