dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Nebel, B. | en |
dc.contributor.author | Koehler, J. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Nebel, B. | en |
dc.creator | Koehler, J. | en |
dc.date.accessioned | 2019-11-13T10:39:55Z | |
dc.date.available | 2019-11-13T10:39:55Z | |
dc.date.issued | 1997 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53872 | |
dc.description.abstract | We 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.source | 4th European Conference on Planning, ECP 1997 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898684063&partnerID=40&md5=f98f9684254d637318e1fc769189f293 | |
dc.subject | Encoding (symbols) | en |
dc.subject | Semantics | en |
dc.subject | Logic programming | en |
dc.subject | Logic programs | en |
dc.subject | Different domains | en |
dc.subject | Graphplan | en |
dc.subject | Negation as failures | en |
dc.subject | Nonmonotonic logic programs | en |
dc.subject | Planning problem | en |
dc.subject | Planning systems | en |
dc.subject | Stable model | en |
dc.title | Encoding planning problems in nonmonotonic logic programs | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 1348 LNAI | en |
dc.description.startingpage | 169 | |
dc.description.endingpage | 181 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 104575 | en |
dc.description.notes | Cited By :78</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |