libcats.org
Главная

Reasoning with Logic Programming

Обложка книги Reasoning with Logic Programming

Reasoning with Logic Programming

,
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Electromagnetisme: fondements et applications

Автор: , Автор: , Автор:
Категория: P_Physics, PE_Electromagnetism
Размер книги: 25.83 Mb

Notas sobre derecho y lenguaje, 3era edicion ampliada

Автор:
Размер книги: 22.37 Mb

Der perfekte Liebhaber: Sextechniken, die sie verrückt machen

Автор:
Размер книги: 6.86 Mb

Un Capitan De Quince Años

Автор:
Категория: fiction
Размер книги: 467 Kb

County Jail

Автор:
Категория: fiction
Размер книги: 713 Kb