Graph structures for knowledge representation and reasoning : third International Workshop, GKR 2013, Beijing, China, August 3, 2013, revised selected papers / Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales (eds.).Material type: TextSeries: Serienbezeichnung | Lecture notes in computer science ; 8323. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Publisher: Cham : Springer, Copyright date: ©2014Description: 1 online resource (x, 210 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319045344; 3319045342Other title: GKR 2013Subject(s): Knowledge representation (Information theory) -- Congresses | Data structures (Computer science) -- Congresses | Data structures (Computer science) | Knowledge representation (Information theory) | computerwetenschappen | computer sciences | wiskunde | mathematics | kunstmatige intelligentie | artificial intelligence | logica | logic | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Graph structures for knowledge representation and reasoning.DDC classification: 006.3/32 LOC classification: Q387Online resources: Click here to access online
|Item type||Current library||Collection||Call number||Status||Date due||Barcode||Item holds|
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.
Includes bibliographical references and index.
Print version record.
Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.