Logic Programming, Philippe Codognet

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

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

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

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

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

Автор: Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heis
Название: Extensions of Logic Programming
ISBN: 3540609830 ISBN-13(EAN): 9783540609834
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings discuss such topics as: categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning and proof search.

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

Автор: Guoliang Chen; Hong Shen; Mingrui Chen
Название: Parallel Architecture, Algorithm and Programming
ISBN: 9811064415 ISBN-13(EAN): 9789811064418
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Parallel Architecture, Algorithm and Programming, PAAP 2017, held in Haikou, China, in June 2017. The 50 revised full papers and 7 revised short papers presented were carefully reviewed and selected from 192 submissions.

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

Автор: Stephen Muggleton
Название: Inductive Logic Programming
ISBN: 3540634940 ISBN-13(EAN): 9783540634942
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Taken from the sixth International Workshop on Inductive Logic Programming, ILP-96, these papers cover: natural language learning; drug design; NMR and ECG analysis; glaucoma diagnosis; efficiency measures for implementations and database interaction; and program synthesis.

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

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