Association for Logic Programming
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, oversees the journal Theory and Practice of Logic Programming (TPLP), and publishes an electronic newsletter.
- Abstraction100002137
- Association108049401
- Group100031264
- Organization108008335
- ProfessionalAssociation108242675
- SocialGroup107950920
- WikicatComputerScienceOrganizations
- WikicatComputerScience-relatedProfessionalAssociations
- WikicatOrganizationsEstablishedIn1986
- YagoLegalActor
- YagoLegalActorGeo
- YagoPermanentlyLocatedEntity
- Comment
- enThe 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, oversees the journal Theory and Practice of Logic Programming (TPLP), and publishes an electronic newsletter.
- Has abstract
- enThe 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, oversees the journal Theory and Practice of Logic Programming (TPLP), 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. Here is a list of all presidents: * 2022- Thomas Eiter at Vienna University of Technology * 2019-2021 Thomas Eiter pro tem at Vienna University of Technology * 2014-2019 Torsten Schaub at the University of Potsdam * 2010-2014 Gopal Gupta at the University of Texas, Dallas * 2005-2009 Manuel Hermenegildo at the Technical University of Madrid * 2001-2004 Veronica Dahl at Simon Fraser University * 1997-2000 Krzysztof R. Apt at Centrum Wiskunde & Informatica in Amsterdam * 1993-1996 David Scott Warren at Stony Brook * 1989-1992 Herve' Gallaire at the European Computer-Industry Research Center in Munich * 1986-1988 Keith Clark at Imperial College London 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. * 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)
- Is primary topic of
- Association for Logic Programming
- Label
- enAssociation for Logic Programming
- Link from a Wikipage to an external page
- www.cs.kuleuven.be/~dtai/projects/ALP/TPLP/
- www.logicprogramming.org
- Link from a Wikipage to another Wikipage
- Alain Colmerauer
- Amsterdam
- Category:Computer science organizations
- Category:Computer science-related professional associations
- Category:Organizations established in 1986
- Centrum Wiskunde & Informatica
- David H. D. Warren
- Formal sciences
- Gopal Gupta (computer scientist)
- Imperial College London
- International Conference on Logic Programming
- Jack Minker
- Jacques Cohen (computer scientist)
- John Alan Robinson
- Keith Clark (computer scientist)
- Krzysztof R. Apt
- Logic Programming
- Luís Moniz Pereira
- Munich
- Ray Reiter
- Robert Kowalski
- Simon Fraser University
- Technical University of Madrid
- University of Potsdam
- University of Texas, Dallas
- Veronica Dahl
- Vienna University of Technology
- SameAs
- Association for Logic Programming
- fCfp
- m.010lrc76
- Q17084521
- Subject
- Category:Computer science organizations
- Category:Computer science-related professional associations
- Category:Organizations established in 1986
- WasDerivedFrom
- Association for Logic Programming?oldid=1120916891&ns=0
- WikiPageLength
- 3798
- Wikipage page ID
- 42733501
- Wikipage revision ID
- 1120916891
- WikiPageUsesTemplate
- Template:Columns-list
- Template:Reflist
- Template:Use dmy dates