What’s Hot in the Answer Set Programming Competition
Martin Gebser, Marco Maratea, Francesco Ricca · Proceedings of the AAAI Conference on Artificial Intelligence · 2016
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.