東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Graph structures for knowledge repre...

GKR (Conference) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : 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:	GKR (Conference)
Published:	Cham :Springer International Publishing : : 2018.,
Description:	vii, 139 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Knowledge representation (Information theory) - Congresses. -
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 ;10775..

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:

844827
Knowledge representation (Information theory)
--Congresses.

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:02326nmm a2200349 a 4500 001 2136570
003 DE-He213
005 20180320075716.0
006 m d
007 cr nn 008maaau
008 181117s2018 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 GKR (Conference) $n (5th : $d 2017 : $c Melbourne, Vic.) $3 3308061
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 : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
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) $v Congresses. $3 844827
650 0 $a Data structures (Computer science) $v Congresses. $3 893197
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
650 2 4 $a Information Storage and Retrieval. $3 761906
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Probability and Statistics in Computer Science. $3 891072
700 1 $a Croitoru, Madalina. $3 1244949
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10775. $3 3308062
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-78102-0
950 $a Computer Science (Springer-11645)