Design and results of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely related pro...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence Jg. 231; S. 151 - 181
Hauptverfasser:	Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.02.2016
Schlagworte:	Answer Set Programming Artificial intelligence Boolean algebra Competition Computational logic Design engineering Expert systems Logic programming Programming Solver competition State of the art Solver competition Answer Set Programming Computational logic
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!