WikiDer > Ассоциация логического программирования - Википедия
 | Эта статья нужны дополнительные цитаты для проверка. (Май 2014 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Ассоциация логического программирования (ALP) была основана в 1986 году. Ее миссия - "способствовать развитию Логическое программирование, свяжите это с другими формальный а также гуманитарным наукам, а также для продвижения его использования в академических кругах и промышленности по всему миру ". Он управляет Международная конференция по логическому программированию,[1][2] курирует Теория и практика логического программирования (TPLP)[3] журнал опубликовано Издательство Кембриджского университета, и издает электронный информационный бюллетень.
Деятельностью Ассоциации руководят Исполнительный комитет и Президент, избираемый членами ALP. Нынешний президент Торстен Шауб на Потсдамский университет[нужна цитата]. Предыдущими президентами были: Кейт Кларк в Имперский колледж Лондон с 1986 по 1990 год, Эрве Галлер на Европейский центр исследований компьютерной индустрии в Мюнхен с 1990 по 1993, Дэвид Скотт Уоррен в Стоуни-Брук с 1993 по 1997 год, Krzysztof Apt в Centrum Wiskunde & Informatica в Амстердам с 1997 по 2001 год, Вероника Даль в Университет Саймона Фрейзера с 2001 по 2004 год, Мануэль Эрменегильдо на Мадридский технический университет с 2004 по 2010 год, и Гопал Гупта на Техасский университет, Даллас с 2010 по 2014 гг.
В 1997 году ALP присвоила пятнадцати признанным исследователям в области логического программирования звание Основатели Logic Программирование признать их пионерами в этой области.[4]
- Морис Брюнооге (Бельгия)
- Жак Коэн (НАС)
- Ален Колмерауэр (Франция)
- Кейт Кларк (ВЕЛИКОБРИТАНИЯ)
- Вероника Даль (Канада / Аргентина)
- Маартен ван Эмден (Канада)
- Эрве Галлер (Франция)
- Роберт Ковальски (ВЕЛИКОБРИТАНИЯ)
- Джек Минкер (НАС)
- Фернандо Перейра (НАС)
- Луис Монис Перейра (Португалия)
- Рэй Рейтер (Канада)
- Дж. Алан Робинсон (НАС)
- Петер Середи (Венгрия)
- Дэвид Х. Д. Уоррен (ВЕЛИКОБРИТАНИЯ)