TY  - BOOK
AU  - Андон,Филипп Илларионович
AU  - Яшунин,Александр Евгеньевич
AU  - Резниченко,Валерий Анатольевич
TI  - Логические модели интеллектуальных информационных систем
SN  - 9660005350
PY  - 1999///
CY  - Киев
PB  - Наукова думка
KW  - представление знаний
KW  - концептуальные модели
KW  - математическая логика
KW  - информационные системы
KW  - базы данных
KW  - базы знаний
KW  - статические свойства
KW  - динамические свойства
KW  - предметные области знания
KW  - аксиоматическая теория множеств
KW  - логические языки
KW  - формализация
KW  - систематизация знаний
KW  - логическое представление знаний
KW  - интеллектуальные информационные системы
KW  - формально-логическое описание
KW  - принципы обработки информации
KW  - проектирование
KW  - неполные знания
KW  - нечеткие знания
KW  - языки запросов
KW  - реляционные модели
KW  - исчисление предикатов
KW  - модальная логика
KW  - Левескье эпистемическая логика
KW  - Неймана-Бернайса-Геделя аксиоматическая теория множеств
KW  - дедуктивные базы данных
KW  - предикаты
KW  - модели данных
KW  - DATALOG
KW  - дизъюнкты
KW  - рекурсия
KW  - Datalog-уравнения
N1  - Библиогр.: с. 384-391
ER  -