Association for Logic Programming
 |
 | This article needs additional citations for verification. (May 2014) |
The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming,[1][2] oversees the Theory and Practice of Logic Programming (TPLP)[3] journal published by Cambridge University Press, and publishes an electronic newsletter.
The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Thomas Eiter at Vienna University of Technology.[4] The previous presidents were:
- 1986-1990 Keith Clark at Imperial College London
- 1990-1993 Herve' Gallaire at the European Computer-Industry Research Center in Munich
- 1993-1997 David Scott Warren at Stony Brook
- 1997-2001 Krzysztof Apt at Centrum Wiskunde & Informatica in Amsterdam
- 2001-2004 Veronica Dahl at Simon Fraser University
- 2004-2010 Manuel Hermenegildo at the Technical University of Madrid
- 2010-2014 Gopal Gupta at the University of Texas, Dallas
- 2014-2020 Torsten Schaub at the University of Potsdam
In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title Founders of Logic Programming to recognize them as pioneers in the field.[5]
- Maurice Bruynooghe (Belgium)
- Jacques Cohen (US)
- Alain Colmerauer (France)
- Keith Clark (UK)
- Veronica Dahl (Canada/Argentina)
- Maarten van Emden (Canada)
- Hervé Gallaire (France)
- Robert Kowalski (UK)
- Jack Minker (US)
- Fernando Pereira (US)
- Luís Moniz Pereira (Portugal)
- Ray Reiter (Canada)
- J. Alan Robinson (US)
- Peter Szeredi (Hungary)
- David H. D. Warren (UK)