Declarative encodings of acyclicity properties

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en Gebser, Martin Janhunen, Tomi Rintanen, Jussi 2018-12-10T10:15:08Z 2018-12-10T10:15:08Z 2015
dc.identifier.citation Gebser , M , Janhunen , T & Rintanen , J 2015 , ' Declarative encodings of acyclicity properties ' Journal of Logic and Computation . DOI: 10.1093/logcom/exv063 en
dc.identifier.issn 0955-792X
dc.identifier.other PURE UUID: 3f0e15ff-7dbb-4273-88f1-03e8c5648d59
dc.identifier.other PURE ITEMURL:
dc.identifier.other PURE LINK:
dc.identifier.other PURE FILEURL:
dc.description.abstract Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures. en
dc.format.extent 30
dc.format.mimetype application/pdf
dc.language.iso en en
dc.relation.ispartofseries Journal of Logic and Computation en
dc.rights openAccess en
dc.subject.other 113 Computer and information sciences en
dc.title Declarative encodings of acyclicity properties en
dc.type A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä fi
dc.description.version Peer reviewed en
dc.contributor.department Department of Computer Science
dc.subject.keyword acyclicity properties
dc.subject.keyword logic-based modeling
dc.subject.keyword answer set programming
dc.subject.keyword satisfiability
dc.subject.keyword 113 Computer and information sciences
dc.identifier.urn URN:NBN:fi:aalto-201812106023
dc.identifier.doi 10.1093/logcom/exv063
dc.type.version acceptedVersion

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication


My Account