What's Hot in the Answer Set Programming Competition

Martin Gebser, Marco Maratea, Francesco Ricca

AAAI 2016 pp. 4327-4329

doi:10.1609/AAAI.V30I1.9872 /aaai/2016/gebser2016aaai-hot/

Abstract

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.

PDF AAAI Semantic Scholar

Cite

Text

Gebser et al. "What's Hot in the Answer Set Programming Competition." AAAI Conference on Artificial Intelligence, 2016. doi:10.1609/AAAI.V30I1.9872

Markdown

[Gebser et al. "What's Hot in the Answer Set Programming Competition." AAAI Conference on Artificial Intelligence, 2016.](https://mlanthology.org/aaai/2016/gebser2016aaai-hot/) doi:10.1609/AAAI.V30I1.9872

BibTeX

@inproceedings{gebser2016aaai-hot,
  title     = {{What's Hot in the Answer Set Programming Competition}},
  author    = {Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {4327-4329},
  doi       = {10.1609/AAAI.V30I1.9872},
  url       = {https://mlanthology.org/aaai/2016/gebser2016aaai-hot/}
}