Die Association for Logic Programming (ALP) wurde 1986 gegründet. Ihre Mission ist es, „zur Entwicklung der Logikprogrammierung beizutragen , sie mit anderen formalen und geisteswissenschaftlichen Disziplinen zu verknüpfen und ihre Anwendung in Wissenschaft und Industrie weltweit zu fördern“. Sie organisiert die Internationale Konferenz für Logikprogrammierung [ 1 ] , gibt die Fachzeitschrift „ Theory and Practice of Logic Programming“ (TPLP) [ 2 ] heraus und veröffentlicht einen elektronischen Newsletter [ 3 ] .
Die Aktivitäten des Vereins werden von einem Vorstand und einem Präsidenten geleitet, die von den ALP-Mitgliedern gewählt werden. Derzeitiger Präsident ist Enrico Pontelli. [ 4 ] Hier ist eine Liste aller Präsidenten: [ 5 ]
- 2024 – Enrico Pontelli an der New Mexico State University
- 2019–2024 Thomas Eiter ( Probezeit 2019–2020) an der Technischen Universität Wien.
- 2014–2019 Torsten Schaub an der Universität Potsdam
- 2010–2014 Gopal Gupta an der University of Texas, Dallas
- 2005–2009 Manuel Hermenegildo an der Technischen Universität Madrid
- 2001–2004 Veronica Dahl an der Simon Fraser University
- 1997-2000 Krzysztof R. Apt am Centrum Wiskunde & Informatica in Amsterdam
- 1993–1996 David Scott Warren bei Stony Brook
- 1989–1992 Hervé Gallaire am Europäischen Forschungszentrum für Computerindustrie in München
- 1986–1988 Keith Clark am Imperial College London
1997 verlieh die ALP fünfzehn anerkannten Forschern im Bereich der logischen Programmierung den Titel „ Gründer der logischen Programmierung“, um sie als Pioniere auf diesem Gebiet zu würdigen. [ 6 ]
- Maurice Bruynooghe (Belgien)
- Jacques Cohen (USA)
- Alain Colmerauer (Frankreich)
- Keith Clark (GB)
- Veronica Dahl (Kanada/Argentinien)
- Maarten van Emden (Kanada)
- Hervé Gallaire (Frankreich)
- Robert Kowalski (GB)
- Jack Minker (USA)
- Fernando Pereira (USA)
- Luís Moniz Pereira (Portugal)
- Ray Reiter (Kanada)
- J. Alan Robinson (USA)
- Peter Szeredi (Ungarn)
- David HD Warren (GB)
Der ALP Alain Colmerauer Preis
Der ALP Alain Colmerauer Prolog Heritage Prize (kurz: Alain Colmerauer Preis ) [ 7 ] wird von der ALP vergeben. Der Preis würdigt jüngste Leistungen und praktische Fortschritte im Bereich des Prolog-inspirierten Rechnens, wobei der Begriff weit gefasst ist und grundlegende, technologische und praktische Beiträge mit nachgewiesener Relevanz oder Potenzial für die zukünftige Entwicklung der Logikprogrammierung berücksichtigt werden.
Referenzen
- ^ „ICLP-Konferenzen“ . Association for Logic Programming . Abgerufen am 15. Oktober 2022 .
- ^ „Theorie und Praxis der logischen Programmierung“ . Cambridge University Press . Abgerufen am 15. Oktober 2022 .
- ^ „ALP Newsletter“ . Association for Logic Programming . Abgerufen am 15. Oktober 2022 .
- ^ „Newsletter, 29. August 2024, The Association for Logic Programming“ . Association for Logic Programming . Abgerufen am 22. September 2024 .
- ^ „ALP EC Elections“ . Association for Logic Programming . 1997. Abgerufen am 16. Oktober 2022 .
- ^ „ALP Awards“ . Association for Logic Programming . 1997. Abgerufen am 15. Oktober 2022 .
- ^ „Der ALP Alain Colmerauer Preis“ . Association for Logic Programming . Abgerufen am 5. Juli 2024 .
