000827323 000__ 03582cam\a2200577Ii\4500
000827323 001__ 827323
000827323 005__ 20230306144609.0
000827323 006__ m\\\\\o\\d\\\\\\\\
000827323 007__ cr\cn\nnnunnun
000827323 008__ 180404s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000827323 020__ $$a9783319781020$$q(electronic book)
000827323 020__ $$a3319781022$$q(electronic book)
000827323 020__ $$z9783319781013
000827323 0247_ $$a10.1007/978-3-319-78102-0$$2doi
000827323 035__ $$aSP(OCoLC)on1030437091
000827323 035__ $$aSP(OCoLC)1030437091
000827323 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dUPM$$dOCLCF$$dUWO$$dOCLCO$$dMERER
000827323 049__ $$aISEA
000827323 050_4 $$aQ387
000827323 08204 $$a006.3/32$$223
000827323 1112_ $$aGKR (Conference)$$n(5th :$$d2017 :$$cMelbourne, Vic.)
000827323 24510 $$aGraph structures for knowledge representation and reasoning :$$b5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised selected papers /$$cMadalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).
000827323 2463_ $$aGKR 2017
000827323 264_1 $$aCham :$$bSpringer,$$c2018.
000827323 300__ $$a1 online resource (vii, 139 pages).
000827323 336__ $$atext$$btxt$$2rdacontent
000827323 337__ $$acomputer$$bc$$2rdamedia
000827323 338__ $$aonline resource$$bcr$$2rdacarrier
000827323 347__ $$atext file$$bPDF$$2rda
000827323 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10775
000827323 4901_ $$aLecture notes in artificial intelligence
000827323 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000827323 500__ $$aIncludes author index.
000827323 5050_ $$aExploring, 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.
000827323 506__ $$aAccess limited to authorized users.
000827323 520__ $$aThis 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.
000827323 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 4, 2018).
000827323 650_0 $$aKnowledge representation (Information theory)$$vCongresses.
000827323 650_0 $$aData structures (Computer science)$$vCongresses.
000827323 7001_ $$aCroitoru, Madalina,$$eeditor.
000827323 7001_ $$aMarquis, Pierre$$c(Professor of Computer Science),$$eeditor.
000827323 7001_ $$aRudolph, Sebastian$$c(Computer scientist),$$eeditor.
000827323 7001_ $$aStapleton, Gem,$$eeditor.
000827323 77608 $$iPrint version: $$z9783319781013
000827323 830_0 $$aLecture notes in computer science ;$$v10775.
000827323 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000827323 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000827323 852__ $$bebk
000827323 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-78102-0$$zOnline Access$$91397441.1
000827323 909CO $$ooai:library.usi.edu:827323$$pGLOBAL_SET
000827323 980__ $$aEBOOK
000827323 980__ $$aBIB
000827323 982__ $$aEbook
000827323 983__ $$aOnline
000827323 994__ $$a92$$bISE