Четверг, 6 сентября, ПОМИ РАН, ауд. 106. Начало в 11:30.
Докладчик: Владимир Лифшиц (University of Texas at Austin).
Тема: Стабильные модели формул исчисления высказываний.
Abstract
Понятие стабильной модели формулы исчисления высказываний служит основой новой формы декларативного программирования, которая часто применяется сегодня для решения переборных задач. Мы рассмотрим примеры программ этого типа, написанных в языке системы CLINGO, созданной в Потсдамском университете в Германии. Затем мы обсудим два конкурирующих определения стабильной модели, используемые разными группами программистов, и новые результаты, описывающие, при каких условиях эти определения эквивалентны.
