Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / [electronic resource] :
edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.
- Cham : Springer International Publishing, 2014.
- 1 online resource (X, 211 p. 64 ill.)
- Lecture Notes in Computer Science, 8323 0302-9743 ; .
Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.
9783319045344
Computer science.
Mathematical logic.
Computer science--Mathematics.
Artificial intelligence.