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

Full description

Bibliographic Details

Published in:	The Journal of artificial intelligence research Vol. 60; pp. 41 - 95
Main Authors:	Gebser, Martin, Maratea, Marco, Ricca, Francesco
Format:	Journal Article
Language:	English
Published:	San Francisco AI Access Foundation 01.01.2017
Subjects:	Artificial intelligence Benchmarks Competition Computer models Declarative programming Logic programming Mathematical programming Programming languages Reasoning Italy
ISSN:	1076-9757, 1076-9757, 1943-5037
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!