Idioma:

The Seventh Answer Set Programming Competition: Design and Results

GEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCO

Theory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
The Seventh Answer Set Programming Competition: Design and Results
Autor: GEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCO
Assuntos: Competition ; Declarative programming ; Knowledge representation ; Logic programming ; Mathematical programming ; Reasoning
É parte de: Theory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204
Descrição: Abstract Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).
Editor: Cambridge: Cambridge University Press
Idioma: Inglês

Voltar para lista de resultados