Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial In...
Uloženo v:
| Hlavní autoři: | , , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Netherlands
Springer Nature
2021
Springer International Publishing AG |
| Vydání: | 1 |
| Edice: | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
| Témata: | |
| ISBN: | 9783030723088, 3030723089, 9783030723071, 3030723070 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities. |
|---|---|
| AbstractList | This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities. |
| Author | Rudolph, Sebastian Cochez, Michael Marquis, Pierre Croitoru, Madalina |
| Author_xml | – sequence: 1 fullname: Cochez, Michael – sequence: 2 fullname: Croitoru, Madalina – sequence: 3 fullname: Marquis, Pierre – sequence: 4 fullname: Rudolph, Sebastian |
| BookMark | eNpdkDlPxDAQhY04xLWiRjQRDVXA4ysOiAJWXAKBBIjWchxnCQQ72FkB_x4vS4Go5s335tKsoyXnnUVoG_A-YFwclIXMaY4pzgtCsczlAholRhP5AXLxX76Ctu7Gt4cZEMYAJIhyFY1ifMEYE46BAFtDRxdB98_ZwxCmZpgGG7PGh-za-Y_O1hOb3ds-QesGPbTeZdrVCenoXesmm2i50V20o9-4gZ7Ozx7Hl_nN3cXV-OQm15RI9pk3IKwBSRvT2NJYWjFugRGwDHjNdFVXkrNa0IaYUpiKNUmAYKLU3LDCFnQD7c0H98G_T20clK28fzXprKA7dXY6FpxgSViqPJ5Xet1bp_rQvunwpbxuVddWYa5njg8TRbDiGCsggheKScIh9e_87a-9ni2KShQll8ndnbtGR921rlVv3vnJ7INRcQZlyYB-A1f0fZU |
| ContentType | eBook |
| DBID | I4C V1H A7I |
| DEWEY | 006 |
| DOI | 10.1007/978-3-030-72308-8 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue DOAB: Directory of Open Access Books OAPEN |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783030723088 3030723089 |
| Edition | 1 |
| Editor | Rudolph, Sebastian Cochez, Michael Marquis, Pierre Croitoru, Madalina |
| Editor_xml | – sequence: 1 fullname: Cochez, Michael – sequence: 2 fullname: Croitoru, Madalina – sequence: 3 fullname: Marquis, Pierre – sequence: 4 fullname: Rudolph, Sebastian |
| ExternalDocumentID | EBC6520824 oai_library_oapen_org_20_500_12657_48251 67958 5419941 |
| GroupedDBID | 38. A7I AABBV AABLV AAKKN AAQKC AAXZC AAYZJ ABNDO ACNBG ACWLQ ADOGT AEDXK AEKFX AELOD AFNRJ AIQUZ AKAAH ALMA_UNASSIGNED_HOLDINGS BAHJK BBABE DBWEY I4C IEZ OCUHQ ORHYB SBO TGIZN TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 AALJR ABEEZ AEJLV AGWHU ALNDD CZZ EIXGO |
| ID | FETCH-LOGICAL-a3284x-f16ec183fcfe9ce3b45e1421e415d4abdb854d63f2c96cb4ff2c16469a5c47e73 |
| IEDL.DBID | V1H |
| ISBN | 9783030723088 3030723089 9783030723071 3030723070 |
| IngestDate | Fri May 30 22:37:22 EDT 2025 Wed Dec 10 14:50:37 EST 2025 Wed Oct 08 01:16:46 EDT 2025 Tue Nov 14 22:54:35 EST 2023 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | Q |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a3284x-f16ec183fcfe9ce3b45e1421e415d4abdb854d63f2c96cb4ff2c16469a5c47e73 |
| OCLC | OCN: 1244118169 1244118169 |
| OpenAccessLink | https://directory.doabooks.org/handle/20.500.12854/67958 |
| PQID | EBC6520824 |
| PageCount | 151 |
| ParticipantIDs | proquest_ebookcentral_EBC6520824 oapen_primary_oai_library_oapen_org_20_500_12657_48251 oapen_doabooks_67958 casalini_monographs_5419941 |
| PublicationCentury | 2000 |
| PublicationDate | 2021 |
| PublicationDateYYYYMMDD | 2021-01-01 |
| PublicationDate_xml | – year: 2021 text: 2021 |
| PublicationDecade | 2020 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
| PublicationYear | 2021 |
| Publisher | Springer Nature Springer International Publishing AG |
| Publisher_xml | – name: Springer Nature – name: Springer International Publishing AG |
| SSID | ssj0002501214 |
| Score | 2.197424 |
| Snippet | This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge... |
| SourceID | proquest oapen casalini |
| SourceType | Publisher |
| SubjectTerms | Artificial intelligence Computer and Information Systems Applications Computer Communication Networks Computer hardware Computer science Computing and Information Technology concept lattices data mining fca formal concept analysis formal languages Formal Languages and Automata Theory formal logic information analysis Information retrieval information systems Information Systems Applications (incl. Internet) Internet searching knowledge-based system Mathematical Logic and Formal Languages Mathematical theory of computation model-based reasoning Network hardware network protocols ontologies open access Special computer methods |
| Subtitle | 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers |
| TableOfContents | Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- 1 Introduction -- 2 Approximate Query Answering on Knowledge Graphs -- 2.1 GQE -- 2.2 MPQE -- 2.3 Query2Box -- 2.4 Complex Query Decomposition -- 3 From Ranking Metrics to Actual Answers -- 3.1 Closed-World Assumption -- 3.2 From Ranking to Classification -- 4 Using Axis-Aligned Boxes for Query Embedding -- 4.1 Boxes for Entities -- 5 Proof of Concept -- 5.1 Experimental Setup -- 5.2 Results -- 6 Conclusion and Outlook -- References -- Galois Connections for Patterns: An Algebra of Labelled Graphs -- 1 Introduction -- 2 Definitions and Notation -- 3 The Two Lattices -- 4 The Galois Connection -- 5 Tractability Consequences of the Galois Connection -- 6 Augmented Patterns: Motivation -- 7 Augmented Patterns: Definitions -- 8 A Galois Connection for Augmented Patterns -- 9 Discussion and Conclusion -- References -- Author Index 4 The Creative Composition Problem (CCP) -- 4.1 Formal Definition -- 4.2 Dynamic Programming Definition of CPP -- 4.3 Dynamic Programming Algorithm -- 4.4 Computational Complexity of Dynamic Programming Algorithm to Compute the Optimal CCP Solution -- 4.5 Running Example -- 5 Creative Reasoning-Planning: The Master-Agent Artificial Intelligent Composer (MAIC) of Dialogue Scripts for Well-Being and Mental Health -- 5.1 The MAIC Diagnostic: Enriching Talks (Mild Therapies) Theories Specified in ASP -- 5.2 The MAIC Prescription and Recommendation: Solving the Creative Composition Problem (CCP) -- 6 Pre-evaluation of Cecilia -- 7 Technologies Suitable to Solve CCP and to Implement the Design of Cecilia Architecture -- 8 Conclusions -- A Appendix 1 -- B Appendix 2 -- References -- Set Visualisations with Euler and Hasse Diagrams -- 1 Introduction -- 2 A Brief Introduction to Euler and Venn Diagrams -- 3 Formal Concept Analysis and Hasse Diagrams -- 4 Venn Diagrams and Boolean Lattices -- 5 Sets of Zones as Well-Formed Euler Diagrams and Lattices -- 6 Conditions for Well-Formed Euler Diagrams -- 7 Reading Implications from Euler and Hasse Diagrams -- 8 Conclusion -- References -- Usage Patterns Identification Using Graphs and Machine Learning -- 1 Introduction -- 2 The Problem -- 3 Approach -- 4 Implementation -- 5 Technologies -- 6 Results and Analysis -- 7 Conclusion -- References -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- 1 Introduction -- 2 Research Context -- 3 Preliminaries -- 3.1 Formal Concept Analysis -- 3.2 Galois Connection -- 3.3 Galois Connections and Concept Lattices -- 3.4 Observations -- 4 Application -- 4.1 Invitations to Tender -- 4.2 Coordinating Meetings -- 4.3 Project Subgroups -- 5 Concluding Remarks -- References -- Invited Additional Contributions Intro -- Preface -- Organization -- Contents -- Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- 1 Introduction -- 2 The Metamodel Diagram -- 3 Activating the Metamodel -- 3.1 Methodology -- 3.2 Findings -- 3.3 Formal Concept Lattice -- 4 Discussion -- 4.1 Implications -- 4.2 Current Limitations -- 4.3 Future Research -- 5 Conclusion -- References -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- 1 Introduction -- 2 Use Case Example -- 3 Related Work -- 3.1 Logical Formalism -- 3.2 AGM Model -- 3.3 Truth Maintenance Systems -- 4 Our Contribution -- 4.1 Algorithm Overview -- 4.2 Logical Formalism -- 4.3 Transition Graph Structure -- 4.4 Nodes' Belief Sets -- 4.5 Building the Graph -- 4.6 Querying the Graph -- 5 Application to the Location Problem -- 6 Conclusion and Perspectives -- References -- A Natural Language Generation Technique for Automated Psychotherapy -- 1 Introduction -- 2 Sources Informing the Generation of Responses -- 2.1 Tracking of Patient's Expressed Emotions -- 2.2 Conceptual Analysis of Patient's Utterances -- 2.3 Using Context to Inform the Planning Process -- 2.4 Executive Control -- 2.5 Response Generation Architecture -- 3 Implementation Details -- 4 Conclusion -- References -- Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution -- 1 Introduction -- 2 Related Work -- 2.1 Applied Chat-Bots for Mental Health Well-Being -- 2.2 Applied Knowledge Graph for Mental Health Well-Being -- 3 Cecilia: An Architecture of a Digital Companion Artificial Intelligence Agent System Composer of Dialogue Scripts for Well-Being and Mental Health -- 3.1 Cecilia: A Master-Slave AI Agents Digital Companion System Design -- 3.2 The Cecilia Logical-Based AI Agent Digital Companion System |
| Title | Graph Structures for Knowledge Representation and Reasoning |
| URI | http://digital.casalini.it/9783030723088 https://directory.doabooks.org/handle/20.500.12854/67958 https://library.oapen.org/handle/20.500.12657/48251 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6520824 |
| Volume | 12640 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV03T8UwED7RBia6eDRlYDU8O65iA9GEhBAgxGY5jiOx5CECiJ_PnZOwwMSW2IOtz-WK774DOEQjWadQKsaNlUw2ZspCsJERe3kZ3NSJFHKxCXN7a5-f3d0c2DEXpr_IZxTVPAukZ3b5Ob-nHEBL_UhNiRHBKnmsjVN2HhbRwtFkdj3xqx_vCgp2LnJNp5J2MerZ1vV0Oz__dnzjHGhmS4Y9LHcxKsMSQxcoOZEqIYXX1P66rLMEulj5_9xXYTFRRsMazKV2HVbGOg7FcKw34OSSWKuLh0wl-4H2d4GabHEzetuK-xwtOyQptQUOhE2hy47cTXi6OH88u2JDUQUWShRFX6zhOkU8yE1skouprKRKXAqeUJTXMlR1hROsddmI6HSsZIMfRELmgorSJFNuwUI7a9M2FLUVJrpai2QiLnNyJvEYHDHs68pUZgK7I4oeD1XPwd15JYmQmE9gIwPrR7R8RmUCum9-7ek2PBFgDy4t3_cgql5MPcLpudDKeEkJuBMoxgXy-aV5CG_156dnWgnUdeTO30PuwrKgUJXsWdmDBYQ77cNS_Hx_6d4OUN021wd5f30D-uHM6A |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Graph+Structures+for+Knowledge+Representation+and+Reasoning&rft.au=Cochez%2C+Michael&rft.au=Croitoru%2C+Madalina&rft.au=Marquis%2C+Pierre&rft.au=Rudolph%2C+Sebastian&rft.date=2021-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030723071&rft.volume=12640&rft_id=info:doi/10.1007%2F978-3-030-72308-8&rft.externalDocID=EBC6520824 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030723088/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030723088/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030723088/sc.gif&client=summon&freeimage=true |