Foundations of Probabilistic Logic Programming, Riguzzi, Fabrizio
Старое издание
Автор: Riguzzi Fabrizio Название: Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning ISBN: 8770220182 ISBN-13(EAN): 9788770220187 Издательство: Taylor&Francis Цена: 14086.00 р. Наличие на складе: Есть у поставщикаПоставка под заказ. Описание: The integration of logic and probability combines the capability of the first to represent complex relations among entities with the capability of the latter to model uncertainty over attributes and relations. Logic programming provides a Turing complete language based on logic and thus represent an excellent candidate for the integration.Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. One of most successful approaches to Probabilistic Logic Programming is the Distribution Semantics, where a probabilistic logic program defines a probability distribution over normal logic programs and the probability of a ground query is then obtained from the joint distribution of the query and the programs. Foundations of Probabilistic Logic Programming aims at providing an overview of the field of Probabilistic Logic Programming, with a special emphasis on languages under the Distribution Semantics. The book presents the main ideas for semantics, inference and learning and highlights connections between the methods.Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.
Описание: Lendman contends that for over one hundred years powerful bankers have used their control over money, credit and debt for private self-enrichment, bankrolling and colluding with the US Congress and administrations to implement laws favouring them. This book shows people how they`ve been fleeced, including a plan for constructive change.
Автор: Maurice Herlihy Название: The Art of Multiprocessor Programming ISBN: 0124159508 ISBN-13(EAN): 9780124159501 Издательство: Elsevier Science Рейтинг: Цена: 9720.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Art of Multiprocessor Programming, Second Edition provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.
Автор: W. Richard Stark Название: LISP, Lore, and Logic ISBN: 038797072X ISBN-13(EAN): 9780387970721 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here is a presentation of LISP which is both practical and theoretical. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP`s exceptional power, and much more.
Автор: John W. Lloyd Название: Foundations of Logic Programming ISBN: 3642831915 ISBN-13(EAN): 9783642831911 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition.
Автор: Richard F. Paige; Alan Hartman; Arend Rensink Название: Model Driven Architecture - Foundations and Applications ISBN: 3642026737 ISBN-13(EAN): 9783642026737 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE).
Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock Название: Formal Methods: Foundations and Applications ISBN: 3642104517 ISBN-13(EAN): 9783642104510 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
Автор: W?sowski Название: Modelling Foundations and Applications ISBN: 3319420607 ISBN-13(EAN): 9783319420608 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.
Автор: Kent D. Lee Название: Foundations of Programming Languages ISBN: 3319707892 ISBN-13(EAN): 9783319707891 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog;
Автор: Nelly Bencomo; Robert B. France; Betty H.C. Cheng; Название: Models@run.time ISBN: 3319089145 ISBN-13(EAN): 9783319089140 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Reference Architecture and Roadmap for Models@run.time Systems.- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.- Living with Uncertainty in the Age of Runtime Models.- Using Models at Runtime to Address Assurance for Self-Adaptive Systems.- Model-Driven, Moving-Target Defense for Enterprise Network Security.- ModelLAND: Where Do Models Come from?.- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime.- Research Challenges for Business Process Models at Runtime.- Fine-Grained Semi-automated Runtime Evolution.- Evolution as Reflections on the Design.- Safety Assurance of Open Adaptive Systems.
Автор: Milazzo Название: Software Technologies: Applications and Foundations ISBN: 3319502298 ISBN-13(EAN): 9783319502298 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.
Автор: Anthony Anjorin; Hu?scar Espinoza Название: Modelling Foundations and Applications ISBN: 3319614819 ISBN-13(EAN): 9783319614816 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions.
Автор: Harper Название: Practical Foundations for Programming Languages ISBN: 1107150302 ISBN-13(EAN): 9781107150300 Издательство: Cambridge Academ Рейтинг: Цена: 9978.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
