Ассоциация логического программирования


Ассоциация логического программирования (ALP) была основана в 1986 году. Ее миссия состоит в том, чтобы «вносить вклад в развитие логического программирования , связывать его с другими формальными , а также гуманитарными науками, а также продвигать его использование в академических кругах и промышленности во всем мире. ". Он управляет Международной конференцией по логическому программированию , [1] [2] курирует журнал Theory and Practice of Logic Programming (TPLP) [3] , издаваемый Cambridge University Press , и издает электронный информационный бюллетень.

Деятельностью Ассоциации руководят Исполнительный комитет и Президент, избираемые членами АЛП. Нынешним президентом является Томас Эйтер из Венского технологического университета . [4] Предыдущими президентами были: Кейт Кларк из Имперского колледжа Лондона с 1986 по 1990 год, Эрве Галлер из Европейского исследовательского центра компьютерной индустрии  [ de ] в Мюнхене с 1990 по 1993 год, Дэвид Скотт Уоррен из Стоуни-Брук с 1993 по 1997 год. , Кшиштоф Апт в Centrum Wiskunde & Informatica в Амстердаме с 1997 по 2001 год,Вероника Даль из Университета Саймона Фрейзера с 2001 по 2004 год, Мануэль Эрменегильдо из Мадридского технического университета с 2004 по 2010 год, Гопал Гупта из Техасского университета в Далласе с 2010 по 2014 год и Торстен Шауб из Потсдамского университета с 2014 по 2020 год. .

В 1997 году ALP присвоила пятнадцати признанным исследователям в области логического программирования звание «Основатели логического программирования » , чтобы признать их пионерами в этой области. [5]