FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1808487372> ?p ?o ?g. }

• W1808487372 abstract "Planning as Satisfiability SAT is currently the best approach for optimally wrt makespan solving classical planning problems and the extension of this framework to include preferences is nowadays considered the reference approach to compute “optimal” plans in SAT-based planning. It includes reasoning about soft goals and plans length as introduced in the 2006 and 2008 editions of the International Planning Competitions IPCs. Despite the fact that the planning as satisfiability with preferences framework has helped to enhance the applicability of the SAT-based approach in planning, the actual approach used within the framework somehow suffers from some main limitations: the metrics, i.e. linear optimization functions defined over goals and/or actions, which account for plan quality issues, are fully reduced to SAT formulas, further increasing the size of often already big formulas; moreover, the search for optimal solutions is performed by forcing a heuristic ordering.In this paper we address these issues by reducing the IPC planning problems with soft goals from IPC-5 and/or action costs from IPC-6 to optimization problems extending SAT and that can naturally handle the integer “weights” of the metrics, i.e. to Max-SAT and Pseudo-Boolean PB problems. Our idea is partially motivated by the approach followed by IPPLAN in the deterministic part of the IPC-5 and by the recent availability of efficient Max-SAT and PB solvers. First, we prove that our approach is correct; then, we implement these ideas in SATPLAN and run a wide experimental analysis on planning problems from IPC-5 and IPC-6, taking as references state-of-the-art planners on these competitions and the previous SAT-based approach. Our analysis shows that our approach is competitive and helps to further widen the set of benchmarks that a SAT-based framework can efficiently deal with. At the same time, as a side effect of this analysis, challenging Max-SAT and PB benchmarks have been identified, as well as the Max-SAT and PB solvers performing best on these planning problems." @default.
• W1808487372 created "2016-06-24" @default.
• W1808487372 creator A5077756388 @default.
• W1808487372 date "2012-01-01" @default.
• W1808487372 modified "2023-09-23" @default.
• W1808487372 title "Planning as satisfiability with IPC simple preferences and action costs" @default.
• W1808487372 cites W1496690584 @default.
• W1808487372 cites W1512229743 @default.
• W1808487372 cites W1538864647 @default.
• W1808487372 cites W1539228153 @default.
• W1808487372 cites W1545688112 @default.
• W1808487372 cites W1559357575 @default.
• W1808487372 cites W1593059365 @default.
• W1808487372 cites W1607011516 @default.
• W1808487372 cites W1667362966 @default.
• W1808487372 cites W1728966390 @default.
• W1808487372 cites W1775352280 @default.
• W1808487372 cites W1827139443 @default.
• W1808487372 cites W1973898358 @default.
• W1808487372 cites W1989914740 @default.
• W1808487372 cites W1999997889 @default.
• W1808487372 cites W20093664 @default.
• W1808487372 cites W2033274122 @default.
• W1808487372 cites W204808196 @default.
• W1808487372 cites W2052041463 @default.
• W1808487372 cites W2053990123 @default.
• W1808487372 cites W2058370033 @default.
• W1808487372 cites W2061876041 @default.
• W1808487372 cites W2074583297 @default.
• W1808487372 cites W2098984274 @default.
• W1808487372 cites W2100577981 @default.
• W1808487372 cites W2101512350 @default.
• W1808487372 cites W2114660707 @default.
• W1808487372 cites W2116758077 @default.
• W1808487372 cites W2125047455 @default.
• W1808487372 cites W2126447752 @default.
• W1808487372 cites W2128272523 @default.
• W1808487372 cites W2138481840 @default.
• W1808487372 cites W2145825841 @default.
• W1808487372 cites W2145838234 @default.
• W1808487372 cites W2147600044 @default.
• W1808487372 cites W2155151982 @default.
• W1808487372 cites W2156975030 @default.
• W1808487372 cites W2164322797 @default.
• W1808487372 cites W2171802366 @default.
• W1808487372 cites W2337392266 @default.
• W1808487372 cites W48982439 @default.
• W1808487372 cites W54536519 @default.
• W1808487372 cites W5547553 @default.
• W1808487372 cites W64129406 @default.
• W1808487372 cites W82625556 @default.
• W1808487372 cites W2188956470 @default.
• W1808487372 doi "https://doi.org/10.3233/aic-2012-0540" @default.
• W1808487372 hasPublicationYear "2012" @default.
• W1808487372 type Work @default.
• W1808487372 sameAs 1808487372 @default.
• W1808487372 citedByCount "3" @default.
• W1808487372 countsByYear W18084873722016 @default.
• W1808487372 countsByYear W18084873722017 @default.
• W1808487372 countsByYear W18084873722019 @default.
• W1808487372 crossrefType "journal-article" @default.
• W1808487372 hasAuthorship W1808487372A5077756388 @default.
• W1808487372 hasBestOaLocation W18084873722 @default.
• W1808487372 hasConcept C111472728 @default.
• W1808487372 hasConcept C121332964 @default.
• W1808487372 hasConcept C126255220 @default.
• W1808487372 hasConcept C134306372 @default.
• W1808487372 hasConcept C138885662 @default.
• W1808487372 hasConcept C154945302 @default.
• W1808487372 hasConcept C166957645 @default.
• W1808487372 hasConcept C168773769 @default.
• W1808487372 hasConcept C173801870 @default.
• W1808487372 hasConcept C197115733 @default.
• W1808487372 hasConcept C2776505523 @default.
• W1808487372 hasConcept C2780586882 @default.
• W1808487372 hasConcept C2780791683 @default.
• W1808487372 hasConcept C33923547 @default.
• W1808487372 hasConcept C41008148 @default.
• W1808487372 hasConcept C62520636 @default.
• W1808487372 hasConcept C6943359 @default.
• W1808487372 hasConcept C80444323 @default.
• W1808487372 hasConcept C95457728 @default.
• W1808487372 hasConceptScore W1808487372C111472728 @default.
• W1808487372 hasConceptScore W1808487372C121332964 @default.
• W1808487372 hasConceptScore W1808487372C126255220 @default.
• W1808487372 hasConceptScore W1808487372C134306372 @default.
• W1808487372 hasConceptScore W1808487372C138885662 @default.
• W1808487372 hasConceptScore W1808487372C154945302 @default.
• W1808487372 hasConceptScore W1808487372C166957645 @default.
• W1808487372 hasConceptScore W1808487372C168773769 @default.
• W1808487372 hasConceptScore W1808487372C173801870 @default.
• W1808487372 hasConceptScore W1808487372C197115733 @default.
• W1808487372 hasConceptScore W1808487372C2776505523 @default.
• W1808487372 hasConceptScore W1808487372C2780586882 @default.
• W1808487372 hasConceptScore W1808487372C2780791683 @default.
• W1808487372 hasConceptScore W1808487372C33923547 @default.
• W1808487372 hasConceptScore W1808487372C41008148 @default.
• W1808487372 hasConceptScore W1808487372C62520636 @default.
• W1808487372 hasConceptScore W1808487372C6943359 @default.
• W1808487372 hasConceptScore W1808487372C80444323 @default.

• next