Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Абонемент. Депозитарий (1)
- Книгохранилище (1)
-
Item types
- Выдается в читальный зал (1)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- Пролог (2)
- исчисление предикатов (2)
- логики умолчаний (2)
- логическое программирование (2)
- Дойла немонотонные логики (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)
- семантические деревья (1)
- системы обучения (1)
- системы поддержки истинности (1)
- системы принятия решений (1)
- Show more
- Show less