國立虎尾科技大學 |

Graph structures for knowledge representation and reasoning = 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Graph structures for knowledge representation and reasoning/ edited by Madalina Croitoru ... [et al.].
Reminder of title:	5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers /
remainder title:	GKR 2017
other author:	Croitoru, Madalina.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2018.,
Description:	vii, 139 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Knowledge representation (Information theory) -
Online resource:	http://dx.doi.org/10.1007/978-3-319-78102-0
ISBN:	9783319781020

Graph structures for knowledge representation and reasoning = 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers /
Graph structures for knowledge representation and reasoning5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers /[electronic resource] :GKR 2017edited by Madalina Croitoru ... [et al.]. - Cham :Springer International Publishing :2018. - vii, 139 p. :ill., digital ;24 cm. - Lecture notes in computer science,107750302-9743 ;. - Lecture notes in computer science ;6140..

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.

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.

ISBN: 9783319781020

Standard No.: 10.1007/978-3-319-78102-0doiSubjects--Topical Terms:

567038
Knowledge representation (Information theory)

LC Class. No.: Q387

Dewey Class. No.: 006.332

Graph structures for knowledge representation and reasoning = 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers /
LDR:02326nam a2200349 a 4500 001 924717
003 DE-He213
005 20180320075716.0
006 m d
007 cr nn 008maaau
008 190625s2018 gw s 0 eng d
020 $a 9783319781020 $q (electronic bk.)
020 $a 9783319781013 $q (paper)
024 7 $a 10.1007/978-3-319-78102-0 $2 doi
035 $a 978-3-319-78102-0
040 $a GP $c GP
041 0 $a eng
050 4 $a Q387
072 7 $a UYQ $2 bicssc
072 7 $a TJFM1 $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 006.332 $2 23
090 $a Q387 $b .G539 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Graph structures for knowledge representation and reasoning $h [electronic resource] : $b 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers / $c edited by Madalina Croitoru ... [et al.].
246 3 $a GKR 2017
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a vii, 139 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10775
505 0 $a 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.
520 $a 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.
650 0 $a Knowledge representation (Information theory) $3 567038
650 0 $a Data structures (Computer science) $3 527864
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Information Systems Applications (incl. Internet) $3 815116
650 2 4 $a Information Storage and Retrieval. $3 593926
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Probability and Statistics in Computer Science. $3 669886
700 1 $a Croitoru, Madalina. $3 885383
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-78102-0
950 $a Computer Science (Springer-11645)