A multiparametric view on answer set programming

Disjunctive answer set programming (ASP) is an important framework for declarative modeling and problem solving, where the computational complexity of basic decision problems like consistency (deciding whether a program has an answer set) is located on the second level of the polynomial hierarchy. D...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 86; H. 1-3; S. 121 - 147
Hauptverfasser:	Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.07.2019 Springer Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Complex Systems Complexity Computer Science Computers Consistency Declarative programming Graph representations Hardness Logic Mathematical programming Mathematics Optimization Parameterization Parameters Polynomials Problem solving Semantics Services Tightness Answer set programming (ASP) Multiparametric complexity Parameterized complexity theory Secondary 68T30, 03B42, 03B70, 68T27, 8Q15 Multi parameterizations Primary 03D15 Fixed-parameter tractability
ISSN:	1012-2443, 1573-7470
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!