DC FieldValueLanguage
dc.contributor.advisorEiter, Thomas-
dc.contributor.authorMushthofa, Mushthofa-
dc.date.accessioned2020-06-30T16:11:10Z-
dc.date.issued2009-
dc.date.submitted2009-09-
dc.identifier.urihttps://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36890-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/12988-
dc.description.abstractWe consider the class of logic programs under the restriction of bounded predicate arities.<br />Previous results showed that the complexity answer set semantics for such class of logic programs is lower than unrestricted programs. In particular, evaluation under answer set semantics is possible within polynomial space. However, current ASP solvers and grounders do not seem to respect this complexity bound, and may produce exponential size ground programs, even for programs with bounded predicate arities. We present three methods for evaluation of logic programs with bounded predicate arities which stays within polynomial space. We developed an evaluation framework built on top of current ASP solvers based on the methods, and also provided a prototype implementation of the framework.<br />An experiment was conducted to measure the feasibility and performance of the methods, and to compare it with current ASP solvers, DLV and claspD. The test results showed that the proposed methods and framework are able to evaluate many test instances more efficiently than DLV and claspD. Evaluations by the prototype system stay within polynomial space, and hence, avoid the bottleneck associated with exponential size grounding.<br />en
dc.formatviii, 105 S.-
dc.languageEnglish-
dc.language.isoen-
dc.subjectlogicde
dc.subjectanswer setde
dc.subjectsemanticsde
dc.subjectevaluationde
dc.subjectsolverde
dc.subjectcomplexityde
dc.subjectlogicen
dc.subjectanswer seten
dc.subjectsemanticsen
dc.subjectevaluationen
dc.subjectsolveren
dc.subjectcomplexityen
dc.titleEvaluation of answer set programs with bounded predicate aritiesen
dc.typeThesisen
dc.typeHochschulschriftde
tuw.publication.orgunitE184 - Institut für Informationssysteme-
dc.type.qualificationlevelDiploma-
dc.identifier.libraryidAC07452379-
dc.description.numberOfPages105-
dc.identifier.urnurn:nbn:at:at-ubtuw:1-36890-
dc.thesistypeMasterarbeitde
dc.thesistypeMaster Thesisen
item.languageiso639-1en-
item.openairetypeThesis-
item.openairetypeHochschulschrift-
item.fulltextwith Fulltext-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextopen-
Appears in Collections:Thesis

Files in this item:

Show simple item record

Page view(s)

9
checked on Feb 18, 2021

Download(s)

56
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.