Logic Programming and Knowledge Representation, Luis Moniz Pereira; Teodor C. Przymusinski

Автор: Constantine D. Polychronopoulos
Название: Parallel Programming and Compilers
ISBN: 1461284163 ISBN-13(EAN): 9781461284161
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: So far, we have seen only the tip of the iceberg called "parallel machines and parallel programming". Instead of trying to develop parallel programming methodologies and paradigms, we often focus on more advanced topics assuming that the reader has an adequate background in parallel processing.

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

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

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

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

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

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

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

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

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

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