Inductive Logic Programming, Nada Lavra?; Saso Dzeroski

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

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

Автор: Jer?nimo Castrill?n Mazo; Rainer Leupers
Название: Programming Heterogeneous MPSoCs
ISBN: 3319375091 ISBN-13(EAN): 9783319375090
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offering techniques for programming Multi-Processor Systems-on-Chip (MPSoCs) capable of executing simultaneous multiple applications, this book includes methodologies to narrow the software productivity gap, and reviews challenges underlying current practices.

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

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

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

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

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

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

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

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