Logic Programming and Nonmonotonic Reasoning, Ulrich Furbach; Anil Nerode

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

Автор: Frank Pfenning
Название: Logic Programming and Automated Reasoning
ISBN: 3540582169 ISBN-13(EAN): 9783540582168
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the "Marshal Koshevoi" near Kiev in July 1994, are recorded in this volume. The research papers cover all relevant aspects, ranging from theory to implementation and application.

Автор: Harald Ganzinger; David McAllester; Andrei Voronko
Название: Logic Programming and Automated Reasoning
ISBN: 3540664920 ISBN-13(EAN): 9783540664925
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.