Graph Structures for Knowledge Representation and Reasoning
β Scribed by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
- Publisher
- Springer International Publishing
- Year
- 2018
- Tongue
- English
- Leaves
- 145
- Series
- Lecture Notes in Computer Science 10775
- Edition
- 1st ed.
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. The 7 revised full papers presented were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background allows to bridge the gap between the different communities.
β¦ Table of Contents
Front Matter ....Pages I-VII
Front Matter ....Pages 1-1
Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs (Simon Andrews, Simon Polovina)....Pages 3-28
Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding (Dave Braines, Anna Thomas, Lance Kaplan, Murat Εensoy, Jonathan Z. Bakdash, Magdalena Ivanovska et al.)....Pages 29-53
Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm (Tanya Braun, Ralf MΓΆller)....Pages 54-72
Representing and Reasoning About Logical Network Topologies (Shaun Voigt, Catherine Howard, Dean Philp, Christopher Penny)....Pages 73-83
From Enterprise Concepts to Formal Concepts: A University Case Study (Jamie Caine, Simon Polovina)....Pages 84-96
Front Matter ....Pages 97-97
Visualizing (\mathcal {ALC}) Using Concept Diagrams (Gem Stapleton, Aidan Delaney, Michael Compton, Peter Chapman)....Pages 99-117
Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results (Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert)....Pages 118-138
Back Matter ....Pages 139-139
β¦ Subjects
Co
π SIMILAR VOLUMES
<p>This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference
<p>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 Ar
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