Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorSabuncu, Orkunt
dc.contributor.authorSchaub, Torsten
dc.contributor.editorToby Walsh
dc.date.accessioned2017-12-05T01:26:32Z
dc.date.available2017-12-05T01:26:32Z
dc.date.issued2011
dc.date.modified2012-12-21T02:21:50Z
dc.identifier.refurihttp://ijcai.org/papers11/contents.php
dc.identifier.doi10.5591/978-1-57735-516-8/IJCAI11-437
dc.identifier.urihttp://hdl.handle.net/10072/46523
dc.description.abstractWe show how Finite Model Computation (FMC) of first-order theories can efficiently and transparentlybe solved by taking advantage of an extension of Answer Set Programming, called incremental Answer Set Programming (iASP). The idea is to use the incremental parameter in iASP programs to account for the domain size of a model. The FMC problem is then successively addressed for increasing domain sizes until an answer set, representing a finite model of the original first-order theory, is found. We developed a system based on the iASP solver iClingo and demonstrate its competitiveness.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent207566 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeUnited States
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameIJCAI-11
dc.relation.ispartofconferencetitleTwenty-Second International Joint Conference on Artificial Intelligence Proceedings
dc.relation.ispartofdatefrom2011-07-16
dc.relation.ispartofdateto2011-07-22
dc.relation.ispartoflocationCatalonia, Spain
dc.relation.ispartofpagefrom2626
dc.relation.ispartofpageto2631
dc.rights.retentionY
dc.subject.fieldofresearchcode280301
dc.titleFinite Model Computation via Answer Set Programming
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.rights.copyright© 2011 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the Conference's website for access to the definitive, published version.
gro.date.issued2011
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record