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.