Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers - Croitoru, Madalina; Rudolph, Sebastian; Woltran, Stefan; Gonzales, Christophe (Cham : Springer International Publishing, 2014)
Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.
Keywords: Computer science; Mathematical logic; Computer science -- Mathematics; Artificial intelligence