From non-convex aggregates to monotone aggregates in ASP

Mario Alviano; Wolfgang Faber; Martin Gebser

From non-convex aggregates to monotone aggregates in ASP

Mario Alviano, Wolfgang Faber, Martin Gebser

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In answer set programming, knowledge involving sets of objects collectively is naturally represented by aggregates, which are rewritten into simpler forms known as monotone aggregates by current implementations. However, there is a complexity gap between general and monotone aggregates. In this paper, this gap is filled by means of a polynomial, faithful, and modular translation function, which can introduce disjunction in rule heads. The translation function is now part of the recent version 4.5 of the grounder GRINGO. This paper focuses on the key points of the translation function, and in particular on the mapping from non-convex sums to monotone sums.

Original language	English
Title of host publication	Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Subtitle of host publication	(IJCAI-16)
Editors	Subbarao Kambhampati
Publisher	AAAI press
Pages	4100-4104
Number of pages	5
Volume	2
ISBN (Print)	9781577357711, 157735771X
Publication status	Published - 2016

Access to Document

http://eprints.hud.ac.uk/id/eprint/28692/Licence: Unspecified
https://www.ijcai.org/Proceedings/16/Papers/610.pdfLicence: Unspecified

Cite this

@inproceedings{c3ff58bb703344febd10140ce186875d,

title = "From non-convex aggregates to monotone aggregates in ASP",

abstract = "In answer set programming, knowledge involving sets of objects collectively is naturally represented by aggregates, which are rewritten into simpler forms known as monotone aggregates by current implementations. However, there is a complexity gap between general and monotone aggregates. In this paper, this gap is filled by means of a polynomial, faithful, and modular translation function, which can introduce disjunction in rule heads. The translation function is now part of the recent version 4.5 of the grounder GRINGO. This paper focuses on the key points of the translation function, and in particular on the mapping from non-convex sums to monotone sums.",

author = "Mario Alviano and Wolfgang Faber and Martin Gebser",

year = "2016",

language = "English",

isbn = "9781577357711",

volume = "2",

pages = "4100--4104",

editor = "Subbarao Kambhampati",

booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence",

publisher = "AAAI press",

address = "United States",

}

From non-convex aggregates to monotone aggregates in ASP. / Alviano, Mario; Faber, Wolfgang; Gebser, Martin.

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: (IJCAI-16). ed. / Subbarao Kambhampati. Vol. 2 AAAI press, 2016. p. 4100-4104.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - From non-convex aggregates to monotone aggregates in ASP

AU - Alviano, Mario

AU - Faber, Wolfgang

AU - Gebser, Martin

PY - 2016

Y1 - 2016

N2 - In answer set programming, knowledge involving sets of objects collectively is naturally represented by aggregates, which are rewritten into simpler forms known as monotone aggregates by current implementations. However, there is a complexity gap between general and monotone aggregates. In this paper, this gap is filled by means of a polynomial, faithful, and modular translation function, which can introduce disjunction in rule heads. The translation function is now part of the recent version 4.5 of the grounder GRINGO. This paper focuses on the key points of the translation function, and in particular on the mapping from non-convex sums to monotone sums.

AB - In answer set programming, knowledge involving sets of objects collectively is naturally represented by aggregates, which are rewritten into simpler forms known as monotone aggregates by current implementations. However, there is a complexity gap between general and monotone aggregates. In this paper, this gap is filled by means of a polynomial, faithful, and modular translation function, which can introduce disjunction in rule heads. The translation function is now part of the recent version 4.5 of the grounder GRINGO. This paper focuses on the key points of the translation function, and in particular on the mapping from non-convex sums to monotone sums.

UR - http://www.scopus.com/inward/record.url?scp=85006137689&partnerID=8YFLogxK

UR - https://www.ijcai.org/proceedings/2016

M3 - Conference contribution

AN - SCOPUS:85006137689

SN - 9781577357711

SN - 157735771X

VL - 2

SP - 4100

EP - 4104

BT - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

A2 - Kambhampati, Subbarao

PB - AAAI press

ER -

From non-convex aggregates to monotone aggregates in ASP

Abstract

Access to Document

Other files and links

Fingerprint

Cite this