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...

Celý popis

Podrobná bibliografia

Vydané v:	Artificial intelligence Ročník 231; s. 151 - 181
Hlavní autori:	Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.02.2016
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!