везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Richard Min

Predicate Answer Set Programming with Coinduction. Coinductive SLDNF and its applcation to Predicate Answer Set Programming

Код 1457315

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Predicate Answer Set Programming with Coinduction. Coinductive SLDNF and its applcation to Predicate Answer Set Programming"

We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality and its applications to Answer Set Programming (ASP). ASP is a powerful programming paradigm for performing non-monotonic reasoning within logic programming. The current state of ASP solvers has been restricted to "grounded range-...

Оставить замечание о найденной опечатке Версия для печати

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

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

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

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

Алгоритмические трюки для программистов. Второе издание
Алгоритмические трюки для программистов. Второе... бумажная книга
Генри С. Уоррен-мл.
Нет в продаже
{Вы не знаете JS} Замыкания и объекты
{Вы не знаете JS} Замыкания и объекты бумажная книга
Кайл Симпсон
15.2 USD
В корзину
Angular. Сборник рецептов. Второе издание
Angular. Сборник рецептов. Второе издание бумажная книга
Мэтт Фрисби
Нет в продаже
Фактор Мурзика
Фактор Мурзика бумажная книга
В.Н. Войнович
Нет в продаже
Node.js в действии
Node.js в действии бумажная книга
Майк Кантелон
Нет в продаже
-7%
Жизнь в балете. Семейные хроники Плисецких и Мессереров
Жизнь в балете. Семейные хроники Плисецких и... бумажная книга
Азарий Михайлович...
15.42 USD 14.34 USD
В корзину

Просмотренные товары