Stable Model Semantics
Автор: Lambert M. Surhone
Издательство:
Год издания: 2010
Страниц: 80
ISBN: 9786130315467
Аннотация:
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
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Stable Model Semantics" (Lambert M. Surhone) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |