Описание: 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.
Описание: This book describes a semantic web-based approach for addressing the problem of decision making when information is coming from multiple information sources and is incomplete and/or contradictory.
Автор: Harald Ganzinger; David McAllester; Andrei Voronko Название: Logic Programming and Automated Reasoning ISBN: 3540664920 ISBN-13(EAN): 9783540664925 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation.
Автор: Andrei Voronkov Название: Logic Programming ISBN: 3540554602 ISBN-13(EAN): 9783540554608 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities.
Автор: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski Название: Logic Programming and Nonmonotonic Reasoning ISBN: 3540594876 ISBN-13(EAN): 9783540594871 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research.
Описание: This book describes a semantic web-based approach for addressing the problem of decision making when information is coming from multiple information sources and is incomplete and/or contradictory.
Автор: Marcello Balduccini; Tomi Janhunen Название: Logic Programming and Nonmonotonic Reasoning ISBN: 3319616595 ISBN-13(EAN): 9783319616599 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.
Автор: Alakananda Bhattacharya; Amit Konar; Ajit K. Manda Название: Parallel and Distributed Logic Programming ISBN: 3642070086 ISBN-13(EAN): 9783642070082 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets.
Автор: Michael Codish; Eijiro Sumii Название: Functional and Logic Programming ISBN: 3319071505 ISBN-13(EAN): 9783319071503 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.
Автор: Gerson Zaverucha; V?tor Santos Costa; Aline Paes Название: Inductive Logic Programming ISBN: 3662449226 ISBN-13(EAN): 9783662449226 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.
Автор: Oleg Kiselyov; Andy King Название: Functional and Logic Programming ISBN: 3319296035 ISBN-13(EAN): 9783319296036 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming;
Автор: Steffen H?lldobler Название: Foundations of Equational Logic Programming ISBN: 354051533X ISBN-13(EAN): 9783540515333 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
