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.

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

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

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

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

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

SpaghettiLP: Damiano Azzolini, Stefano Forti and Antonio Ielo

aaunical: Wolfgang Faber, Giuseppe Mazzota, and Alice Tarzariol

NotYet: Matti Berthold and Richard Comploi-Taupe