Семантическое программирование
sergey shishkinГончаров Сергей Савостьянович - премия СО РАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко в 1983-ем году.
- С. С. Гончаров, Д. И. Свириденко, Математические основы семантического программирования
- С. С. Гончаров, Д. И. Свириденко, СЕМАНТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ *
- Гончаров С. С., Свириденко Д. И., Рекурсивные термы в семантическом программировании
- А. А. Малых, А. В. Манцивода, Объектно-ориентированная дескриптивная логика * *
- А. А. Малых, А. В. Манцивода, Онтологии, метаданные и семантическое программирование
- А. А. Малых, А. В. Манцивода, Объектные теории над списочными надстройками
- А. А. Малых, Представление знаний и семантическое программирование
- А. В. Манцивода, Логическое программирование в ограничениях: семантический подход
- А. Н. Хисамиев, УНИВЕРСАЛЬНЫЕ ФУНКЦИИ И ПОЧТИ c–ПРОСТЫЕ МОДЕЛИ
- Delta Zero Semantic Language
Σ-определимость в наследственно конечных надстройках над расширениями поля действительных чисел
Об алгоритмических и структурных свойствах вычислимости над моделями
Семантика языка предикатного программирования
Семантическое программирование: Куда поместить код