9872@AAAI

Total: 1

#1 What’s Hot in the Answer Set Programming Competition [PDF] [Copy] [Kimi]

Authors: Martin Gebser ; Marco Maratea ; Francesco Ricca

Answer Set Programming (ASP) is a declarative programming paradigm with roots in logic programming, knowledge representation, and non-monotonic reasoning. The ASP competition series aims at assessing and promoting the evolution of ASP systems and applications. Its growing range of challenging application-oriented benchmarks inspires and showcases continuous advancements of the state of the art in ASP.