There are two traditional awards that will be presented at ICLP 2019:

  • The John Alan Robinson 20 year test of time award

    Revising Hull and Box Consistency.

    Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget.

    ICLP 1999: 230-244

  • The Alain Colmerauer 10 year test of time award

    Constraint Answer Set Solving.

    Martin Gebser, Max Ostrowski, Torsten Schaub.

    ICLP 2009: 235-249

Both award recipients will deliver talks as part of the main conference.

In addition, the following awards will be presented at ICLP 2019:

  • TPLP Best student paper award

    A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation

    Ariyam Das and Carlo Zaniolo

  • TPLP Best DC paper/presentation award

    Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming

    Yusuf Izmirlioglu

  • Best technical paper award

    Abstract Solvers for Computing Cautious Consequences of ASP programs

    Giovanni Amendola, Carmine Dodaro and Marco Maratea

  • Best applications paper award

    Applying Constraint Logic Programming to SQL Semantic Analysis

    Fernando Saenz-Perez

  • Best Systems Paper Award

    A Distributed Approach to LARS Stream Reasoning (System paper)

    Thomas Eiter, Paul Ogris and Konstantin Schekotihin