Logic Programming, Andrei Voronkov

Автор: Thomas Eiter; Hannes Strass; Miros?aw Truszczy?ski
Название: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
ISBN: 3319147250 ISBN-13(EAN): 9783319147253
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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.

Автор: Naeem Khalid Janjua
Название: A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
ISBN: 3319039482 ISBN-13(EAN): 9783319039480
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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;

Автор: Naeem Khalid Janjua
Название: A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
ISBN: 3319381709 ISBN-13(EAN): 9783319381701
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: I. Balbin; K. Lecot
Название: Logic Programming
ISBN: 0908069154 ISBN-13(EAN): 9780908069156
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic Programming was effectively defined as a discipline in the early seventies. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems.

Автор: Pierre Deransart; Bernard Lorho; Jan Maluszynski
Название: Programming Languages Implementation and Logic Programming
ISBN: 3540508201 ISBN-13(EAN): 9783540508205
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results.

Автор: Matthias Baaz; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540000100 ISBN-13(EAN): 9783540000105
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

Автор: 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.