Известия Иркутского государственного университета. Серия «Математика»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Иркутского государственного университета. Серия «Математика», 2011, том 4, выпуск 1, страницы 57–72 (Mi iigum94)  
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Объектно-ориентированная дескриптивная логика

А. А. Малых, А. В. Манцивода

Иркутский государственный университет
PDF полного текста (651 kB) Список цитирования (4)
Список литературы:
PDF
HTML
Аннотация: В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций.
Ключевые слова: дескриптивная логика, объектная модель, ОО-проекция, объектная теория, база знаний, язык программирования Libretto.
Тип публикации: Статья
УДК: 510.62:004.82
Образец цитирования: А. А. Малых, А. В. Манцивода, “Объектно-ориентированная дескриптивная логика”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 57–72
Цитирование в формате AMSBIB
\RBibitem{MalMan11}
\by А.~А.~Малых, А.~В.~Манцивода
\paper Объектно-ориентированная дескриптивная логика
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2011
\vol 4
\issue 1
\pages 57--72
\mathnet{http://mi.mathnet.ru/iigum94}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum94
  • https://www.mathnet.ru/rus/iigum/v4/i1/p57
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:211
    PDF полного текста:167
    Список литературы:29
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024