Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Осипов, Геннадий Семенович (2)
- Алешина, Наталия Альбертовна (1)
- Анисов, Александр Михайлович (1)
- Быстров, Петр Иванович (1)
- Гаврилов, Гарий Петрович (1)
- Грибомон, Паскаль (1)
- Куссуль, Наталья Николаевна (1)
- Луи, Ж. (1)
- Люгер, Джордж Ф. (1)
- Смирнова, Елена Дмитриевна (1)
- Тейз, Андре (1)
- Финн, Виктор Константинович (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- представление знаний (искусственный интеллект) (4)
- искусственный интеллект (3)
- рассуждения (искусственный интеллект) правдоподобные (3)
- анализ текста (искусственный интеллект) реляционно-ситуационный (2)
- исчисление предикатов (2)
- математическая логика (2)
- машинное обучение (искусственный интеллект) (2)
- CHAR, графический редактор химических структур (1)
- STRIPS-планирование (1)
- ВИНИТИ (1)
- ДСМ, интеллектуальная система (1)
- ДСМ-метод автоматизированного построения формализации знаний о предметной области средствами квазиаксиоматических теорий (КАТ) (1)
- Искусственный интеллект (1)
- Лисп, язык функционального программирования (1)
- Пролог (1)
- Пролог, язык логического программирования (1)
- СУБД информационных систем, основанных на знаниях (1)
- Хомского иерархия (1)
- аксиоматические системы (1)
- базы знаний (1)
- базы знаний динамических систем (1)
- грамматики формальные (1)
- дескриптивная логика (1)
- интеллектуальное планирование (1)
- интеллектуальные динамические системы (1)
- интеллектуальные информационные системы (1)
- интеллектуальные системы динамические (1)
- интеллектуальный анализ данных (1)
- интерфейсы естественноязыковые на основе меню многооконного (1)
- информатика (1)
- информационные технологии (1)
- искусственый интеллект, история (1)
- исчисление высказываний (1)
- исчисление предикатов первого порядка, метод резолюций (1)
- кодирование автоматическое химических структур (1)
- компьютерное моделирование метаболизма чужеродных веществ в организме человека (1)
- контекстно-свободные грамматики (1)
- логика предикатов (1)
- логики автоэпистемистические (1)
- логики немонотонные (1)
- логики умолчаний (1)
- логический вывод (искусственный интеллект) (1)
- логическое программирование (1)
- математическая индукция (1)
- математическая логика и искусственный интеллект (1)
- математическая логика классическая первопорядковая (1)
- математическая логика эпистемическая (1)
- машинное обучение (1)
- многоагентные системы (1)
- нейронные сети искусственные (1)
- Show more
- Show less