Representation Theorems in Computer Science: A Treatment in Logic Engineering, Цzзep Цzgьr Lьtfь
Автор: Croitoru Название: Graph Structures for Knowledge Representation and Reasoning ISBN: 3319781014 ISBN-13(EAN): 9783319781013 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the Third MICCAI Workshop on Domain Adaptation and Representation Transfer, DART 2021, and the First MICCAI Workshop on Affordable Healthcare and AI for Resource Diverse Global Health, FAIR 2021, held in conjunction with MICCAI 2021, in September/October 2021.
Автор: Bernhard Nebel Название: Reasoning and Revision in Hybrid Representation Systems ISBN: 3540524436 ISBN-13(EAN): 9783540524434 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Gem Stapleton; John Howse; John Lee Название: Diagrammatic Representation and Inference ISBN: 3540877290 ISBN-13(EAN): 9783540877295 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008. This book organizes the papers in topical sections on diagram aesthetics and layout, psychological and cognitive issues, applications of diagrams, and theoretical aspects.
Описание: This book constitutes the proceedings of the 26th International Conference on Conceptual Structures, ICCS 2021, held virtually in September 2021.The 12 full papers and 4 short papers presented were carefully reviewed and selected from 25 submissions. theory on conceptual structures, and mining conceptual structures.
Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an understanding of all models of a specification in order to exclude possible unintended models, demonstrating the general methodology with representation theorems for applications in qualitative spatial reasoning, data stream processing, and belief revision.
For qualitative spatial reasoning, it develops a model of spatial relatedness that captures the scaling context with hierarchical partitions of a spatial domain, and axiomatically characterizes the resulting relations. It also shows that various important properties of stream processing, such as prefix-determinedness or various factorization properties can be axiomatized, and that the axioms are fulfilled by natural classes of stream functions. The third example is belief revision, which is concerned with the revision of knowledge bases under new, potentially incompatible information. In this context, the book considers a subclass of revision operators, namely the class of reinterpretation operators, and characterizes them axiomatically. A characteristic property of reinterpretation operators is that of dissolving potential inconsistencies by reinterpreting symbols of the knowledge base.
Intended for researchers in theoretical computer science or one of the above application domains, the book presents results that demonstrate the use of representation theorems for the design and evaluation of formal specifications, and provide the basis for future application-development kits that support application designers with automatically built representations.
Описание: This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.
Описание: This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd`s work.
Автор: E. Cornell Way Название: Knowledge Representation and Metaphor ISBN: 904814079X ISBN-13(EAN): 9789048140794 Издательство: Springer Рейтинг: Цена: 27245.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data- processing systems of all kinds, no matter whether human, (other) animal, or machine.
Описание: Although many representation models or cognitive models have been proposed, such as expert systems or knowledge graphs, they cannot represent procedural knowledge, i.e., dynamic knowledge, in an efficient way.This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis).
Автор: Madalina Croitoru; Sebastian Rudolph; Stefan Woltr Название: Graph Structures for Knowledge Representation and Reasoning ISBN: 3319045334 ISBN-13(EAN): 9783319045337 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence.
Автор: Liu Zhiyuan, Lin Yankai, Sun Maosong Название: Representation Learning for Natural Language Processing ISBN: 9811555753 ISBN-13(EAN): 9789811555756 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
