Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Gabbay D., Hogger C., Robinson J. — Handbook of logic in artificial intelligence and logic programming (1993-1998). Volume 5 Logic Programming
Gabbay D., Hogger C., Robinson J. — Handbook of logic in artificial intelligence and logic programming (1993-1998). Volume 5 Logic Programming

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Handbook of logic in artificial intelligence and logic programming (1993-1998). Volume 5 Logic Programming

Авторы: Gabbay D., Hogger C., Robinson J.

Аннотация:

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Handbook of logic in artificial intelligence and logic programming (Clarendon Press, 1993-1998., 5)(ISBN 0198537921)(815s)
I am very happy to present to the community the fifth and last volume of
our Handbook series, covering the area of Logic and Logic Programming.
The ideas and methods of logic programming gave a substantial push to
the development of logic itself. Ideas like negation as failure, goal directed
presentation of a logic, metalevel features in the object level are applicable
to any logical system and not only to the classical Horn clause fragment.
The central role and success of these ideas in logic programming provided
an example to follow for research into similar developments for general
logics.
Logic programming is also a central tool in the new and wide area of
non-monotonic logic and artificial intelligence. The methods of abduction,
the use of constraints and higher order features have all interacted and
supported the new systems of logic designed to cope with practical common
sense reasoning


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1998

Количество страниц: 815

Добавлена в каталог: 01.10.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте