Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2017

Ключевые слова:

множество ответов

искусственный интеллект

autoepistemic logic

ограничение

дедуктивный

база данных

невыполнение

доказательство

логика описаний

представление знаний

логика программирования

мультиагентная система

немонотонный

решающее устройство

тестирование

синтаксис

семантика

Стр.:

359 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Artificial Intelligence

Том:

10377

Карточка:

Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017Ed. by Balduccini M., Janhunen T..-Berlin.: Springer, 2017.-Vol. 10377.-359 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке:

MONO12 485