As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.;The authors used this book successfully as a text for a MSc...
详细信息
ISBN:
(数字)9783540686743
ISBN:
(纸本)9783540614883
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.;The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "Software for Parallel Computation" held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992...
详细信息
ISBN:
(数字)9783642580499
ISBN:
(纸本)9783540564515;9783642634536
This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "Software for Parallel Computation" held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992. The purpose of the workshop was to evaluate the current state-of-the-art of the software for parallel computation, identify the main factors inhibiting practical applications of parallel computers and suggest possible remedies. In particular it focused on parallel software, programming tools, and practical experience of using parallel computers for solving demanding problems. Critical issues relative to the practical use of parallel computing included: portability, reusability and debugging, parallelization of sequential programs, construction of parallel algorithms, and performance of parallel programs and systems. In addition to NATO, the principal sponsor, the following organizations provided a generous support for the workshop: CERFACS, France, C.I.R.A., Italy, C.N.R., Italy, University of Calabria, Italy, ALENIA, Italy, The Boeing Company, U.S.A., CISE, Italy, ENEL - D.S.R., Italy, Alliant computersystems, Bull RN Sud, Italy, Convex computer, Digital Equipment Corporation, Rewlett Packard, Meiko Scientific, U.K., PARSYTEC computer, Germany, TELMAT Informatique, France, Thinking Machines Corporation.
This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The invited contributions by internationally recognized experts...
详细信息
ISBN:
(数字)9783540474326
ISBN:
(纸本)9783540541325
This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The invited contributions by internationally recognized experts give a thorough survey of several aspects of parallel database systems. The second part of the volume gives an in-depth overview of the PRISMA system. This system is based on a parallel machine, where the individual processors each have their own local memory and communicate with each other over a packet-switched network. On this machine a parallel object-oriented programming language, POOL-X, has been implemented, which provides dedicated support for database systems as well as general facilities for parallel programming. The POOL-X system then serves as a platform for a complete relational main-memory database management system, which uses the parallelism of the machine to speed up significantly the execution of database queries. The presentation of the PRISMA system, together with the invited papers, gives a broad overview of the state of the art in parallel database systems.
This book constitutes the refereed proceedings of the 4th International Conference on Big Data and Security, ICBDS 2022, held in Xiamen, China, during December 8–12, 2022.;The 51 full papers and 3 shor...
详细信息
ISBN:
(数字)9789819933006
ISBN:
(纸本)9789819932993
This book constitutes the refereed proceedings of the 4th International Conference on Big Data and Security, ICBDS 2022, held in Xiamen, China, during December 8–12, 2022.;The 51 full papers and 3 short papers included in this book were carefully reviewed and selected from 211 submissions. They were organized in topical sections as follows: answer set programming; big data and new method; intelligence and machine learning security; data technology and network security; sybersecurity and privacy; IoT security.
This book constitutes the revised selected papers of the 9th International Conference on Networked systems, NETYS 2021, held virtually in May *** 15 revised full papers and 2 short papers presented were carefully revi...
详细信息
ISBN:
(数字)9783030910143
ISBN:
(纸本)9783030910136
This book constitutes the revised selected papers of the 9th International Conference on Networked systems, NETYS 2021, held virtually in May *** 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.
暂无评论