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.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Открытие Риэля

Автор:
Размер книги: 198 Kb

A Text-book of the History of Architecture

Автор:
Категория: КНИГИ ДИЗАЙН
Размер книги: 6.69 Mb

The Darkness Before the Dawn

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