ICLP Best Papers
International Conference on Logic Programming
7 papers · 2024–2026
← ICLP Conference Info🏆 2026(5)
Best Paper Award
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Panos Rondogiannis
Best Student Paper Award
Answer-Set-Programming-based Abstractions for Reinforcement Learning
Rafael Bankosegger; Thomas Eiter; Johannes Oetsch
Test of Time Award
Justifications for Logic Programs Under Answer Set SemanticsEnrico Pontelli; Tran Cao Son
Test of Time Award
Theory Solving Made Easy with Clingo 5Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Philipp Wanko
🏆 2025(1)
Best Paper Award
ANTHEM: Answer Set Programming and Automated Theorem ProvingFandinno, Glinzer, Hansen, Heuer, Lierler, Lifschitz, Schaub & Stolzmann
Answer Set ProgrammingTheorem Proving