🏆 2025(1)
Best Paper Award
ANTHEM: Answer Set Programming and Automated Theorem ProvingFandinno, Glinzer, Hansen, Heuer, Lierler, Lifschitz, Schaub & Stolzmann
Answer Set ProgrammingTheorem Proving
Acceptance rates · Best papers · Conference deadlines for CS researchers