книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Stable Model Semantics

Код 1070237

Нет в продаже

Аннотация к книге "Stable Model Semantics"

High Quality Content by WIKIPEDIA articles! Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive mathrm{not}~p (i.e. that ~p is assumed not to hold) from failure to derive ~p. Note that mathrm{not}~p is different from the stronger statement neg p of the logical negation of ~p. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1303-1546-7
Объём: 80 страниц
Масса: 141 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают