Hispanopedia WikiLa Asociación para la Programación Lógica (ALP) se fundó en 1986. Su misión es «contribuir al desarrollo de la Programación Lógica , relacionarla con otras ciencias formales y también con las humanidades, y promover su uso en el ámbito académico y la industria en todo el mundo». Organiza la Conferencia Internacional sobre Programación Lógica , [ 1 ] supervisa la revista Theory and Practice of Logic Programming (TPLP), [ 2 ] y publica un boletín electrónico. [ 3 ]
Las actividades de la Asociación están dirigidas por un Comité Ejecutivo y un Presidente, elegidos por los miembros de ALP. El actual presidente es Enrico Pontelli. [ 4 ] Aquí hay una lista de todos los presidentes: [ 5 ]
- 2024 - Enrico Pontelli en la Universidad Estatal de Nuevo México
- 2019-2024 Thomas Eiter ( promoción 2019-2020) en la Universidad Tecnológica de Viena.
- 2014-2019 Torsten Schaub en la Universidad de Potsdam
- 2010-2014 Gopal Gupta en la Universidad de Texas, Dallas
- 2005-2009 Manuel Hermenegildo en la Universidad Politécnica de Madrid
- 2001-2004 Veronica Dahl en la Universidad Simon Fraser
- 1997-2000 Krzysztof R. Apt en Centrum Wiskunde & Informatica en Ámsterdam
- 1993-1996 David Scott Warren en Stony Brook
- 1989-1992 Hervé Gallaire en el Centro Europeo de Investigación de la Industria Informática en Múnich
- 1986-1988 Keith Clark en el Imperial College de Londres
En 1997, la ALP otorgó a quince investigadores reconocidos en programación lógica el título de Fundadores de la Programación Lógica para reconocerlos como pioneros en el campo. [ 6 ]
- Maurice Bruynooghe (Bélgica)
- Jacques Cohen (EE. UU.)
- Alain Colmerauer (Francia)
- Keith Clark (Reino Unido)
- Verónica Dahl (Canadá/Argentina)
- Maarten van Emden (Canadá)
- Hervé Gallaire (Francia)
- Robert Kowalski (Reino Unido)
- Jack Minker (EE. UU.)
- Fernando Pereira (EE. UU.)
- Luis Moniz Pereira (Portugal)
- Ray Reiter (Canadá)
- J. Alan Robinson (EE. UU.)
- Pedro Szeredi (Hungría)
- David HD Warren (Reino Unido)
El premio Alain Colmerauer del Partido Laborista Australiano (ALP)
El Premio Alain Colmerauer Prolog Heritage de la ALP (en resumen: el Premio Alain Colmerauer ) [ 7 ] es organizado por la ALP. El premio se otorga por logros recientes y avances prácticos en la computación inspirada en Prolog, entendida en un sentido amplio, donde se reconocen contribuciones fundamentales, tecnológicas y prácticas con evidencia comprobada o potencial para el desarrollo futuro de la programación lógica.
Referencias
- ^ "Conferencias ICLP" . Asociación para la Programación Lógica . Consultado el 15 de octubre de 2022 .
- ^ "Teoría y práctica de la programación lógica" . Cambridge University Press . Consultado el 15 de octubre de 2022 .
- ^ "Boletín informativo de ALP" . Asociación para la Programación Lógica . Consultado el 15 de octubre de 2022 .
- ^ "Boletín informativo, 29 de agosto de 2024, Asociación para la Programación Lógica" . Asociación para la Programación Lógica . Consultado el 22 de septiembre de 2024 .
- ^ "Elecciones del ALP EC" . Asociación para la Programación Lógica . 1997. Consultado el 16 de octubre de 2022 .
- ^ "Premios ALP" . Asociación para la Programación Lógica . 1997. Consultado el 15 de octubre de 2022 .
- ^ "El premio ALP Alain Colmerauer" . Asociación para la Programación Lógica . Consultado el 5 de julio de 2024 .
Enlaces externos
- Asociación para la Programación Lógica (ALP)
- Revista de Teoría y Práctica de la Programación Lógica
- organizaciones de ciencias de la computación
- Organizaciones fundadas en 1986
- asociaciones profesionales relacionadas con la informática