Ассоциация логического программирования
Ассоциация логического программирования (ALP) была основана в 1986 году. Ее миссия состоит в том, чтобы «способствовать развитию логического программирования , связать его с другими формальными , а также гуманитарными науками, а также способствовать его использованию в научных кругах и промышленности во всем мире». ". Он руководит Международной конференцией по логическому программированию , [1] курирует журнал «Теория и практика логического программирования» (TPLP), [2] и издает электронный информационный бюллетень. [3]
Деятельностью Ассоциации руководят Исполнительный комитет и Президент, избираемые членами ALP. Нынешний президент - Томас Эйтер. [4] Вот список всех президентов: [5]
- 2020- Томас Эйтер в Венском технологическом университете.
- 2019-2020 профессиональный семестр Томаса Эйтера в Венском технологическом университете
- 2014-2019 Торстен Шауб в Потсдамском университете
- 2010–2014 Гопал Гупта . , Техасский университет, Даллас
- 2005–2009 Мануэль Эрменегильдо, Технический университет Мадрида.
- 2001–2004 Вероника Даль в Университете Саймона Фрейзера.
- 1997–2000 Кшиштоф Р. Апт в Centrum Wiskunde & Informatica в Амстердаме.
- 1993–1996 Дэвид Скотт Уоррен в Стоуни-Брук
- 1989–1992 Эрве Галлер в Европейском исследовательском центре компьютерной индустрии в Мюнхене.
- 1986–1988 Кейт Кларк в Имперском колледже Лондона.
В 1997 году ALP присвоила пятнадцати признанным исследователям логического программирования звание «Основатели логического программирования», чтобы признать их пионерами в этой области. [6]
- Морис Брюйнуг (Бельгия)
- Жак Коэн (США)
- Ален Кольмерауэр (Франция)
- Кейт Кларк (Великобритания)
- Вероника Даль (Канада/Аргентина)
- Маартен ван Эмден (Канада)
- Эрве Галлер (Франция)
- Роберт Ковальски (Великобритания)
- Джек Минкер (США)
- Фернандо Перейра (США)
- Луиш Мониш Перейра (Португалия)
- Рэй Рейтер (Канада)
- Дж. Алан Робинсон (США)
- Петер Шереди (Венгрия)
- Дэвид Х.Д. Уоррен (Великобритания)
Премия ALP Алена Кольмерауэра
[ редактировать ]Премия ALP Alain Colmerauer Prolog Heritage Prize (сокращенно: Премия Алена Кольмерауэра ) [7] организован ALP. Премия вручается за недавние достижения и практические достижения в области вычислений на основе Пролога, понимаемых в широком смысле, где фундаментальный, технологический и практический вклад имеет доказанные доказательства или потенциал для будущего развития логического программирования.
Ссылки
[ редактировать ]- ^ «Конференции ICLP» . Ассоциация логического программирования . Проверено 15 октября 2022 г.
- ^ «Теория и практика логического программирования» . Издательство Кембриджского университета . Проверено 15 октября 2022 г.
- ^ «Информационный бюллетень АЛП» . Ассоциация логического программирования . Проверено 15 октября 2022 г.
- ^ «РЕДАКЦИОННАЯ СТАТЬЯ, Том 33, ДЕКАБРЬ 2020 г. – Ассоциация логического программирования» . Ассоциация логического программирования . Проверено 15 октября 2022 г.
- ^ «Выборы АЛП в ЕС» . Ассоциация логического программирования . 1997 год . Проверено 16 октября 2022 г.
- ^ «АЛП Награды» . Ассоциация логического программирования . 1997 год . Проверено 15 октября 2022 г.
- ^ «Премия ALP Алена Кольмерауэра» . Ассоциация логического программирования . Проверено 5 июля 2024 г.