Graph Structures for Knowledge Representation and Reasoning

5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (Herausgeber)

Buch | Softcover

VII, 139 Seiten

2018 | 1st ed. 2018
Springer International Publishing (Verlag)
9783319781013 (ISBN)

Artikel merken

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.

Exploring, 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.

Erscheinungsdatum	22.03.2018
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VII, 139 p.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	236 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Bayesian networks • Decision Support Systems • Formal Logic • graph theory • Hypergraphs • knowledge based systems • Knowledge Representation and Reasoning • Multi-Agent Learning • ontology engineering • Probabilistic Reasoning • probabilistic representations • probability and statistics • reasoning about belief and knowledge • Recommender Systems • Semantics • semantic web description languages • theorem proving and SAT solving • Web Ontology Language (OWL)
ISBN-13	9783319781013 / 9783319781013
Zustand	Neuware