|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Madalina Croitoru , Pierre Marquis , Sebastian Rudolph , Gem StapletonPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2018 Volume: 10775 Weight: 0.454kg ISBN: 9783319781013ISBN 10: 3319781014 Pages: 139 Publication Date: 21 March 2018 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsExploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs.- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding.- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm.- Representing and Reasoning about Logical Network Topologies.- From Enterprise Concepts to Formal Concepts: A University Case Study.- Visualizing ALC Using Concept Diagrams.- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |