|
|
|
|
| LEADER |
04168nam a2200613 4500 |
| 001 |
978-3-319-78102-0 |
| 003 |
DE-He213 |
| 005 |
20191220130315.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180320s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319781020
|9 978-3-319-78102-0
|
| 024 |
7 |
|
|a 10.1007/978-3-319-78102-0
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a Q334-342
|
| 072 |
|
7 |
|a UYQ
|2 bicssc
|
| 072 |
|
7 |
|a COM004000
|2 bisacsh
|
| 072 |
|
7 |
|a UYQ
|2 thema
|
| 082 |
0 |
4 |
|a 006.3
|2 23
|
| 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, Pierre Marquis, Sebastian Rudolph, Gem Stapleton.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a VII, 139 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Artificial Intelligence ;
|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 Artificial intelligence.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Application software.
|
| 650 |
|
0 |
|a Information storage and retrieval.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Mathematical statistics.
|
| 650 |
1 |
4 |
|a Artificial Intelligence.
|0 http://scigraph.springernature.com/things/product-market-codes/I21000
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|0 http://scigraph.springernature.com/things/product-market-codes/I16048
|
| 650 |
2 |
4 |
|a Information Systems Applications (incl. Internet).
|0 http://scigraph.springernature.com/things/product-market-codes/I18040
|
| 650 |
2 |
4 |
|a Information Storage and Retrieval.
|0 http://scigraph.springernature.com/things/product-market-codes/I18032
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|0 http://scigraph.springernature.com/things/product-market-codes/I13022
|
| 650 |
2 |
4 |
|a Probability and Statistics in Computer Science.
|0 http://scigraph.springernature.com/things/product-market-codes/I17036
|
| 700 |
1 |
|
|a Croitoru, Madalina.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Marquis, Pierre.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Rudolph, Sebastian.
|e editor.
|0 (orcid)0000-0002-1609-2080
|1 https://orcid.org/0000-0002-1609-2080
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Stapleton, Gem.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319781013
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319781037
|
| 830 |
|
0 |
|a Lecture Notes in Artificial Intelligence ;
|v 10775
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-78102-0
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
