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

Full description

Bibliographic Details

Published in:	Artificial intelligence Vol. 231; pp. 151 - 181
Main Authors:	Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.02.2016
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!