|
|
|
|
| LEADER |
06522nam a22004573i 4500 |
| 001 |
EBC6520824 |
| 003 |
MiAaPQ |
| 005 |
20231204023215.0 |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
231204s2021 xx o ||||0 eng d |
| 020 |
|
|
|a 9783030723088
|q (electronic bk.)
|
| 020 |
|
|
|z 9783030723071
|
| 035 |
|
|
|a (MiAaPQ)EBC6520824
|
| 035 |
|
|
|a (Au-PeEL)EBL6520824
|
| 035 |
|
|
|a (OCoLC)1244118169
|
| 040 |
|
|
|a MiAaPQ
|b eng
|e rda
|e pn
|c MiAaPQ
|d MiAaPQ
|
| 050 |
|
4 |
|a Q334-342
|
| 100 |
1 |
|
|a Cochez, Michael.
|
| 245 |
1 |
0 |
|a Graph Structures for Knowledge Representation and Reasoning :
|b 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers.
|
| 250 |
|
|
|a 1st ed.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing AG,
|c 2021.
|
| 264 |
|
4 |
|c ©2021.
|
| 300 |
|
|
|a 1 online resource (158 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science Series ;
|v v.12640
|
| 505 |
0 |
|
|a 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.
|
| 505 |
8 |
|
|a 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.
|
| 505 |
8 |
|
|a 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.
|
| 588 |
|
|
|a Description based on publisher supplied metadata and other sources.
|
| 590 |
|
|
|a Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
|
| 655 |
|
4 |
|a Electronic books.
|
| 700 |
1 |
|
|a Croitoru, Madalina.
|
| 700 |
1 |
|
|a Marquis, Pierre.
|
| 700 |
1 |
|
|a Rudolph, Sebastian.
|
| 776 |
0 |
8 |
|i Print version:
|a Cochez, Michael
|t Graph Structures for Knowledge Representation and Reasoning
|d Cham : Springer International Publishing AG,c2021
|z 9783030723071
|
| 797 |
2 |
|
|a ProQuest (Firm)
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science Series
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/matrademy/detail.action?docID=6520824
|z Click to View
|
