Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

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 Artif...

Full description

Saved in:
Bibliographic Details
Published inGraph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers Vol. 8323; pp. 1 - 211
Main Authors GKR, Croitoru, Madalina
Format eBook Book Conference Proceeding
LanguageEnglish
Published Cham Springer Nature 2014
Springer
Springer International Publishing AG
Springer International Publishing
Edition1
SeriesLecture Notes in Computer Science
Subjects
Artificial Intelligence
Computer Science
Data structures (Computer science)-Congresses
Discrete Mathematics in Computer Science
GKR
Graph structures
Graph theory
Graph theory > Congresses
Knowledge representation (Information theory)
Knowledge representation (Information theory) > Congresses
Logic in Computer Science
Mathematical Logic and Formal Languages
Reasoning
Reasoning > Congresses
Special computer methods
Discrete Mathematics in Computer Science
Artificial Intelligence
Mathematical Logic and Formal Languages
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Includes bibliographical references and index
ISBN:9783319045344
3319045342
9783319045337
3319045334
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-04534-4