Awards

• 2023 Alain Colmerauer Prize

Theresa Swift and Carl Andersen; for Showcasing the relevance of modern Prolog’s reasoning capabilities to contemporary imperative languages and contributing to making Prolog accessible to the wider AI community.

• Best Paper Award

Masood Feyzbaksh Rankooh and Tomi Janhunen; for Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

• Best Student Paper Award

Yuheng Wang, Paul Fodor, Michael Kiefer; for Knowledge Authoring for Rules and Actions

• Best Doctoral Consortium Paper Award

Ramsha Ali; for Flexible Job Shop Scheduling in Wafer Manufacturing: Optimization and Simulation Methods

• 10-Year Test-of-Time Award

M. Banbara, T. Soh, N. Tamura K. Inoue, T. Schaub; for Answer set programming as a modeling language for course timetabling

• John Alan Robinson 20-Year Test-of-Time Award

Thomas Eiter and Michael Fink; for Uniform Equivalence of Logic Programs under the Stable Model Semantic

• 2023 LP/CP Programming Contest

  • Winner Award

SpaghettiLP: Damiano Azzolini, Stefano Forti and Antonio Ielo

• • Runner Up Award

aaunical: Wolfgang Faber, Giuseppe Mazzota, and Alice Tarzariol

• • Podium Finish Award

NotYet: Matti Berthold and Richard Comploi-Taupe