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

✍ Scribed by Patrice Buche, Virginie Cucheval (auth.), Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 220
• Series: Lecture Notes in Computer Science 8323 Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
Implementation of a Knowledge Representation and Reasoning Tool Using Default Rules for a Decision Support System in Agronomy Applications....Pages 1-12
Information Revelation Strategies in Abstract Argument Frameworks Using Graph Based Reasoning....Pages 13-20
Different Classes of Graphs to Represent Microstructures for CSPs....Pages 21-38
Finding Maximal Common Sub-parse Thickets for Multi-sentence Search....Pages 39-57
Intrusion Detection with Hypergraph-Based Attack Models....Pages 58-73
Structural Consistency: A New Filtering Approach for Constraint Networks....Pages 74-91
Inductive Triple Graphs: A Purely Functional Approach to Represent RDF....Pages 92-110
A Depth-First Branch and Bound Algorithm for Learning Optimal Bayesian Networks....Pages 111-122
Learning Bayes Nets for Relational Data with Link Uncertainty....Pages 123-137
Concurrent Reasoning with Inference Graphs....Pages 138-164
Formal Concept Analysis over Graphs and Hypergraphs....Pages 165-179
Automatic Strengthening of Graph-Structured Knowledge Bases....Pages 180-210
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science