ALP Awards

In 1997, the Association of Logic Programming bestowed to fifteen recognized researchers in logic programming the title Founders of Logic Programming to recognize them as pioneers in the field. They are: Maurice Bruynooghe, Jacques Cohen, Alain Colmerauer, Keith Clark, Veronica Dahl, Maarten van Emden, Herve Gallaire, Robert Kowalski, Jack Minker, Fernando Pereira, Luis Moniz Pereira, Ray Reiter, J. Alan Robinson, Peter Szeredi, and David H. D. Warren.

ALP instituted  awards for ICLP best paper and best student paper awards, as well as other awards, listed in the following.

In ICLP 2002 (Copenhagen) the Best Technical Paper Award went to Tom Schrijvers, Maria Garcia de la Banda, and Bart Demoen for their work: Trailing analysis for HAL, and the Best Applications Paper Award went to Alessandra Russo, Rob Miller, Bashar Nuseibeh, and Jeff Kramer, for their work An abductive approach for analyzing event-based requirements specifications.

We had three papers winning the awards in ICLP 2003 (Mumbay): two were best student papers and one was best application paper. The student papers were: Frank D. Valencia “Timed Concurrent Constraint Programming: Decidability Results and their Application to LTL”, and Brigitte Pientka, “Higher-order substitution tree indexing”, while the best application paper was: Frej Drejhammar, Christian Schulte, Per Brand and Seif Haridi “Flow Java: Declarative Concurrency for Java”.

The Best Technical Paper Award at ICLP 2004 (St. Malo) went to Tom Schrijvers and David S. Warren for the paper “Constraint Handling Rules and Tabled Execution”.

In the same meeting three papers were prized as the Most Influential Papers in 20 Years. The award went to Gelfond-Lifschitz for their 1988 ICLP/SLP paper on stable model semantics, to Jaff ar-Lassez for their POPL 1987 paper on Constraint Logic Programming, and to Saraswat, Rinard, and Panangaden for their POPL 1991 paper on Concurrent Constraint Programming.

In ICLP 2005 (Sitges) the Best Paper Award went to José F. Morales, Manuel Carro, German Puebla, and Manuel V. Hermenegildo for the paper “A generator of Efficient Abstract machine Implementations and its Application to Emulator Minimization”, while the best student paper award was assigned to Ajay Mallya for the paper “Deductive Multi-valued Model Checking”.

The Best Paper Award at ICLP 2006 (Seattle) went to Martin Gebser and Torsten Schaub for the paper “Tableau Calculi for Answer Set Programming”, and the Best Student Paper Award went to Luciano Caroprese, Sergio Greco, Cristina Sirangelo and Ester Zumpano for the paper “Declarative Semantics of Production Rules for Integrity Maintenance”.

ICLP 2007 (Porto) assigned the best paper award to Sabrina baselice, Piero Bonatti, and Giovanni Criscuolo for the paper “On finitely recursive programs” while Matti Jarvisalo and Emilia Oikarinen won the best student paper award for their paper “Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs”.

ICLP 2008 (Udine) assigned the best paper award to Michael Fink for his paper “Equivalences in Answer Set Programming by Countermodels in the Logic of Here-and-there”, while the best student paper went to Shay B. Cohen, Robert J. Simmons, and Noah A. Smith for their paper “Dynamic Programming Algorithms as Product of Weighted Logic Programs”. In that rainy meeting it was also instituted the “best presentation” prize (voted by participants) that went to Vitor Santos Costa.

ICLP 2009 (Pasadena) best paper award went to Henning Christiansen and John Gallagher for their paper “Non-discriminating arguments and their uses” while the best student paper went to Matthias Broecheler and Gerardo Simari for the paper “Using histograms to better answer queries to probabilistic logic programs”.

ICLP 2010 (Edinburgh) best paper award went to Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, and Enrico Pontelli for their paper “CLP-based protein fragment assembly” while the best student paper went to Christian Drescher for the paper “A Translational Approach to Constraint Answer Set Solving” cowritten with Toby Walsh.

ICLP 2011 (Lexington) best student paper award was assigned to Jael Kriener for the paper “RedAlert: Determinacy Inference for Prolog” coauthored with Andy King. The best paper award went to Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi and Marco Franchini for their paper “Optimal Placement of Valves in a Water Distribution Network with CLP(FD)”.

ICLP 2012 (Budapest) best student award was assigned to Muhammad Islam for his paper (with co-authors C. R. Ramakrishnan and I. V. Ramakrishnan) “Inference in Probabilistic Logic Programs with Continuous Random Variables”. The best paper award went to Gregory Duck for his paper  “SMCHR: Satis ability Modulo Constraint Handling Rules”.

ALP delegated ICLP 2012 PC co-chairs to recognize two papers as the most influencial papers accepted in ICLP/ILPS 1992 (20 years) and in ICLP 2002 (10 years). The prizes, entitled Test of time awards, went to Michael Gelfond and Vladimir Lifschitz: Representing Actions Extended Logic Programming. JICSLP 1992: 559-573 and to François Bry and Sebastian Schaffert: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002: 255-270. The former is a highly cited paper that put the basis on hundred of approached of solving action languages using prolog, clp(FD), and ASP; the latter established a bridge beteween logic (programming) and Semantic Web.

Christoph Redl was awarded as “best presentation” at the doctoral consortium and allowed to present his thesis proposal Answer Set Programming with External Sources in the main conference.

As second edition of the “Test of Time” award, in ICLP 2013 (Istanbul) the paper Transaction Logic Programming (ICLP1993) by Anthony Bonner and Michael Kifer and the paper Uniform equivalence of logic programs under the stable model semantics by  Thomas Eiter and Michael Fink (ICLP 2003) were awarded as the most influential paper of 20 years and 10 years ago, respectively.

Claudia Schultz has been awarded as “Best Presentation” in the doctoral consortium and allowed to present her thesis proposal Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems in the ICLP main event.

In ICLP 2014 (Vienna) the awards for the most influential papers from 20 and 10 years ago went to  Frèdèric Benhamou, David A. McAllester, Pascal Van Hentenryck: CLP(Intervals) Revisited and to Gregory J. Duck, Peter J. Stuckey, Maria J. Garcìa de la Banda, Christian Holzbaur: The Refined Operational Semantics of Constraint Handling Rules, respectively.

The  best presentation award of the doctoral consortium went to Rehan Abdul Aziz for his work Bound Founded Answer Set Programming.