Show simple item record

dc.contributor.authorDimopoulos, Yannisen
dc.contributor.authorNebel, B.en
dc.contributor.authorKoehler, J.en
dc.creatorDimopoulos, Yannisen
dc.creatorNebel, B.en
dc.creatorKoehler, J.en
dc.date.accessioned2019-11-13T10:39:55Z
dc.date.available2019-11-13T10:39:55Z
dc.date.issued1997
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53872
dc.description.abstractWe present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from logic programming and the planning systems graphplan and satplan. We discuss different representations of planning problems in logic programs, point out issues related to their performance, and show ways to exploit the structure of the domains in these representations. For our experimentation we use an existing implementation of the stable models semantics called smodels. It turns out that for careful and compact encodings, the performance of the method across a number of different domains, is comparable to that of planners like graphplan and satplan.en
dc.source4th European Conference on Planning, ECP 1997en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84898684063&partnerID=40&md5=f98f9684254d637318e1fc769189f293
dc.subjectEncoding (symbols)en
dc.subjectSemanticsen
dc.subjectLogic programmingen
dc.subjectLogic programsen
dc.subjectDifferent domainsen
dc.subjectGraphplanen
dc.subjectNegation as failuresen
dc.subjectNonmonotonic logic programsen
dc.subjectPlanning problemen
dc.subjectPlanning systemsen
dc.subjectStable modelen
dc.titleEncoding planning problems in nonmonotonic logic programsen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume1348 LNAIen
dc.description.startingpage169
dc.description.endingpage181
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 104575en
dc.description.notesCited By :78</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidDimopoulos, Yannis [0000-0001-9583-9754]
dc.gnosis.orcid0000-0001-9583-9754


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record