Вы здесь

Главная

Rules and Reasoning: Proc./2nd International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
представление знаний
немонотонный
доказательство
логическое программирование
множество ответов
темпоральный
rule learning
равило
markup language
модальная логика
темпоральная логика
логика описаний
логика высшего порядка
теория доказательств
онтология
Стр.: 
328 p.
Редактор: 
Benzmüller Ch.
Ricca F.
Parent X.
Roman D.
Место издания: 
Berlin
Том: 
11092
Карточка: 

Rules and Reasoning: Proc./2nd International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 2018Ed. by Benzmüller Ch., Ricca F., Parent X., Roman D..-Berlin., 2018.-Vol. 11092.-328 p.