Inductive Logic Programming, Stephen Muggleton

Автор: Nada Lavra?; Saso Dzeroski
Название: Inductive Logic Programming
ISBN: 3540635149 ISBN-13(EAN): 9783540635147
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the 7th International Workshop on Inductive Logic Programming, ILP-97. Among the topics addressed are various logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery and relational database systems.

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

Автор: Francesco Calimeri; Giovambattista Ianni; Miroslaw
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319232630 ISBN-13(EAN): 9783319232638
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

Автор: F.L. Bauer; Manfred Broy; E.W. Dijkstra; C.A.R. Ho
Название: Control Flow and Data Flow: Concepts of Distributed Programming
ISBN: 3540170820 ISBN-13(EAN): 9783540170822
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984

Автор: James Cussens; Alessandra Russo
Название: Inductive Logic Programming
ISBN: 3319633414 ISBN-13(EAN): 9783319633411
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions.

Автор: Celine Rouveirol; Michele Sebag
Название: Inductive Logic Programming
ISBN: 3540425381 ISBN-13(EAN): 9783540425380
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume address data mining issues for multi-relational databases, supervised learning, inductive inference, Bayesian reasoning, learning refinement operators, neural network learning, constraint satisfaction, genetic algorithms and statistical machine learning.

Автор: Philippe Codognet
Название: Logic Programming
ISBN: 3540429352 ISBN-13(EAN): 9783540429357
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. All current aspects of logic programming and computational logics are addressed.

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

Автор: Luis Moniz Pereira; Teodor C. Przymusinski
Название: Logic Programming and Knowledge Representation
ISBN: 3540649581 ISBN-13(EAN): 9783540649588
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of papers from a workshop on logic programming and knowledge representation is divided into topical sections, including: disjunctive semantics; abduction; priorities; and updates. Also included is an introduction surveying the state of the art in the area.

Автор: Ulrich Furbach; Anil Nerode
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3540632557 ISBN-13(EAN): 9783540632559
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Featuring 19 revised papers from the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR `97, this volume covers research and developments in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

Автор: Louis M. Pereira; Teodor C. Przymusinski
Название: Non-Monotonic Extensions of Logic Programming
ISBN: 3540594671 ISBN-13(EAN): 9783540594673
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is based on papers presented during the ICLP `94 Workshop on Nonmonotonic Extensions of Logic Programming. Ten papers are included which discuss the interdependence of non-monotonic formalisms and logic programming.

Автор: Jose Julio Alferes; Luis Moniz Pereira
Название: Reasoning with Logic Programming
ISBN: 3540614885 ISBN-13(EAN): 9783540614883
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work presents a survey of logic programs as representational and reasoning tools. It examines the use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning and a variety of knowledge representation formalisms, such as default negation.