Понедельник 06.08. Владимир Лифшиц (University of Texas at Austin): "Стабильные модели формул исчисления высказываний"

[PDMI seminars]

Семинар по дискретной математике

Тема: Стабильные модели формул исчисления высказываний
Место: ауд. 106
Время: 06.08.2018, 14:00
Докладчик: Владимир Лифшиц (University of Texas at Austin)

Abstract:
Понятие стабильной модели формулы исчисления высказываний служит основой новой формы декларативного программирования, которая часто применяется сегодня для решения переборных задач. Мы рассмотрим примеры программ этого типа, написанных в языке системы CLINGO, созданной в Потсдамском университете в Германии. Затем мы обсудим два конкурирующих определения стабильной модели, используемые разными группами программистов, и новые результаты, описывающие, при каких условиях эти определения эквивалентны.

[Dmitry M. Itsykson]

Приношу свои извинения, в предыдущем объявлении ошибка, доклад состоится в *четверг 6-го сентября*.

--
You received this message because you are subscribed to the Google Groups "DM seminar" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dm-seminar+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Dmitry M. Itsykson]

Внимание! Время начала семинара изменено!

Семинар состоится в четверг 6-го сентября в 11-30 в ауд. 106.