|
|
libcats.org
Reasoning with Logic ProgrammingJose Julio Alferes, Luis Moniz PereiraAs 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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Флора мхов Украинской РСР. Андреевые, Бриевые. Вып. 4. Изобриальные, Гукериальные, Гипнобриальные. Киев, 2003Автор: Бачурина Г.Ф., Автор: Мельничук В.М.
Размер книги: 4.15 Mb
Кузнечно-штамповочное оборудованиеАвтор: Живов Л.И., Автор: Овчинников А.Г., Автор: Складчиков Е.Н.
Размер книги: 11.47 Mb
Advances in Imaging and Electron Physics, Volume 144 (Advances in Imaging and Electron Physics)Автор: Peter W. HawkesКатегория: Наука (общее)
Размер книги: 8.30 Mb
Руководство по ремонту и эксплуатации Mitsubishi Space Star 1999-2004 гг. выпуска.Автор: Гусь С.В.
Размер книги: 10.28 Mb
Claves de la flora vascular de Andalucía orientalАвтор: Gabriel . . . et al. Blanca
Размер книги: 78.50 Mb
|
|
|