dc.contributor.author | Sideris, A. | en |
dc.contributor.author | Dimopoulos, Yannis | en |
dc.creator | Sideris, A. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.date.accessioned | 2019-11-13T10:42:16Z | |
dc.date.available | 2019-11-13T10:42:16Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 978-1-57735-657-8 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54970 | |
dc.description.abstract | Planning 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 (www.aaai.org). All rights reserved. | en |
dc.publisher | AAAI press | en |
dc.source | 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 | en |
dc.source | 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962053207&partnerID=40&md5=9ee8431eedd9e6cdf5ae2809ba8e3fb6 | |
dc.subject | Optimization | en |
dc.subject | Formal logic | en |
dc.subject | Knowledge representation | en |
dc.subject | Planning as satisfiability | en |
dc.subject | Satisfiability | en |
dc.subject | Planning problem | en |
dc.subject | SAT solvers | en |
dc.subject | Sub-problems | en |
dc.subject | Boolean optimizations | en |
dc.subject | Planning horizons | en |
dc.subject | Propositional planning | en |
dc.title | Heuristic guided optimization for propositional planning | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.startingpage | 669 | |
dc.description.endingpage | 672 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | Siemens AG Osterreich | de |
dc.description.notes | <p>Sponsors: Artificial Intelligence Journal | en |
dc.description.notes | Association for Logic Programming (ALP) | en |
dc.description.notes | et al. | en |
dc.description.notes | European Coordinating Committee for Artificial Intelligence (ECCAI) | en |
dc.description.notes | Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.) | en |
dc.description.notes | Conference code: 116755</p> | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |