Show simple item record

dc.contributor.authorSideris, A.en
dc.contributor.authorDimopoulos, Yannisen
dc.creatorSideris, A.en
dc.creatorDimopoulos, Yannisen
dc.description.abstractPlanning as Satisfiability is an important approach to Propositional Planning. A serious drawback of the method is its limited scalability, as the instances that arise from large planning problems are often too hard for modern SAT solvers. This work tackles this problem by combining two powerful techniques that aim at decomposing a planning problem into smaller subproblems, so that the satisfiability instances that need to be solved do not grow prohibitively large. The first technique, incremental goal achievement, turns planning into a series of boolean optimization problems, each seeking to maximize the number of goals that are achieved within a limited planning horizon. This is coupled with a second technique, called heuristic guidance, that directs search towards a state which satisfies all goals. Copyright © 2014, Association for the Advancement of Artificial Intelligence ( All rights reserved.en
dc.publisherAAAI pressen
dc.source14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014en
dc.source14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014en
dc.subjectFormal logicen
dc.subjectKnowledge representationen
dc.subjectPlanning as satisfiabilityen
dc.subjectPlanning problemen
dc.subjectSAT solversen
dc.subjectBoolean optimizationsen
dc.subjectPlanning horizonsen
dc.subjectPropositional planningen
dc.titleHeuristic guided optimization for propositional planningen
dc.description.endingpage672 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notesSiemens AG Osterreichde
dc.description.notes<p>Sponsors: Artificial Intelligence Journalen
dc.description.notesAssociation for Logic Programming (ALP)en
dc.description.noteset al.en
dc.description.notesEuropean Coordinating Committee for Artificial Intelligence (ECCAI)en
dc.description.notesPrinciples of Knowledge Representation and Reasoning, Incorporated (KR Inc.)en
dc.description.notesConference code: 116755</p>en
dc.contributor.orcidDimopoulos, Yannis [0000-0001-9583-9754]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record