Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Воскресенье, 26 сентября 2010, 13:00–14:35
Где: ПОМИ РАН
Слайды: ontology_lecture_260910.pdf

Описание

Дескрипционная логика \( \mathcal{ALC} \). Алгоритм проверки реализуемости \( \mathcal{ALC} \)-концептов.