Beyond NP: Quantifying over Answer Sets

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond NP with ASP is known to be complicated, on the one...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2019-07
Hauptverfasser:	Amendola, Giovanni, Ricca, Francesco, Truszczynski, Mirek
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial intelligence Boolean algebra Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science Declarative programming Logic programming Mathematical programming Number theory Polynomials
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!