The Impact of Treewidth on Grounding and Solving of Answer Set Programs

In this paper, we aim to study how the performance of modern answer set programming (ASP) solvers is influenced by the treewidth of the input program and to investigate the consequences of this relationship. We first perform an experimental evaluation that shows that the solving performance is heavi...

Celý popis

Podrobná bibliografia

Vydané v:	The Journal of artificial intelligence research Ročník 67; s. 35 - 80
Hlavní autori:	Bliem, Bernhard, Morak, Michael, Moldovan, Marius, Woltran, Stefan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	San Francisco AI Access Foundation 01.01.2020
Predmet:	Artificial intelligence Complexity Declarative programming Mathematical programming
ISSN:	1076-9757, 1076-9757, 1943-5037
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!