𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

⬇  Acquire This Volume

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


Graph Structures for Knowledge Represent
✍ Elias Bareinboim, Carlos Brito, Judea Pearl (auth.), Madalina Croitoru, Sebastia πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<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

Graph Structures for Knowledge Represent
✍ Patrice Buche, Virginie Cucheval (auth.), Madalina Croitoru, Sebastian Rudolph, πŸ“‚ Library πŸ“… 2014 πŸ› Springer International Publishing 🌐 English

<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

Graph structures for knowledge represent
✍ Croitoru, Madalina; Gonzales, Christophe; Rudolph, Sebastian; Woltran, Stefan πŸ“‚ Library πŸ“… 2013 πŸ› Springer 🌐 English

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