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á bibliografie

Vydáno v:	Artificial intelligence Ročník 231; s. 151 - 181
Hlavní autoři:	Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.02.2016
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!