The Sixth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely related problem-solving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advancements in ASP solving are assessed in comp...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of artificial intelligence research Ročník 60; s. 41 - 95
Hlavní autoři:	Gebser, Martin, Maratea, Marco, Ricca, Francesco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	San Francisco AI Access Foundation 01.01.2017
Témata:	Artificial intelligence Benchmarks Competition Computer models Declarative programming Logic programming Mathematical programming Programming languages Reasoning Italy
ISSN:	1076-9757, 1076-9757, 1943-5037
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!