Amazon cover image
Image from Amazon.com

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 (eds.).

By: (5th : GKR (Conference) (5th : 2017 : Melbourne, Vic.)Contributor(s): Croitoru, Madalina [editor.] | Marquis, Pierre (Professor of Computer Science) [editor.] | Rudolph, Sebastian (Computer scientist) [editor.] | Stapleton, Gem [editor.]Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 10775. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Publisher: Cham : Springer, 2018Description: 1 online resource (vii, 139 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783319781020; 3319781022; 3319781014; 9783319781013; 9783319781037; 3319781030Other title: GKR 2017Subject(s): Knowledge representation (Information theory) -- Congresses | Data structures (Computer science) -- Congresses | Mathematical theory of computation | Information retrieval | Network hardware | Maths for computer scientists | Artificial intelligence | Mathematics -- Logic | Computers -- Information Technology | Computers -- System Administration -- Storage & Retrieval | Computers -- Hardware -- Network Hardware | Computers -- Mathematical & Statistical Software | Computers -- Intelligence (AI) & Semantics | Data structures (Computer science) | Knowledge representation (Information theory)Genre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. | Electronic books. Additional physical formats: Printed edition:: No titleDDC classification: 006.3/32 LOC classification: Q387Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed April 4, 2018).

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.

Powered by Koha