Ассоциация логического программирования - Википедия - Association for Logic Programming

Ассоциация логического программирования (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]

Рекомендации

  1. ^ «Microsoft Academic».
  2. ^ http://www.conference-ranking.org/cs.html
  3. ^ «Теория и практика логического программирования».
  4. ^ Награды ALP

внешняя ссылка