FRINK Linked Data Fragments server

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

• W2912663980 abstract "Timeline-based planning is an approach originally developed in the context of space mission planning and scheduling, where problem domains are modelled as systems made of a number of independent but interacting components, whose behaviour over time, the timelines, is governed by a set of temporal constraints. This approach is different from the action-based perspective of common PDDL-like planning languages. Timeline-based systems have been successfully deployed in a number of space missions and other domains. However, despite this practical success, a thorough theoretical understanding of the paradigm was missing. This thesis fills this gap, providing the first detailed account of formal and computational properties of the timeline-based approach to planning. In particular, we show that a particularly restricted variant of the formalism is already expressive enough to compactly capture action-based temporal planning problems. Then, finding a solution plan for a timeline-based planning problem is proved to be EXPSPACE-complete. Then, we study the problem of timeline-based planning with uncertainty, that include external components whose behaviour is not under the control of the planned system. We identify a few issues in the state-of-the-art approach based on flexible plans, proposing timeline-based games, a more general game-theoretic formulation of the problem, that addresses those issues. We show that winning strategies for such games can be found in doubly-exponential time. Then, we study the expressiveness of the formalism from a logic point of view, showing that (most of) timeline-based planning problems can be captured by Bounded TPTL with Past, a fragment of TPTL+P that, unlike the latter, keeps an EXPSPACE satisfiability problem. The logic is introduced and its satisfiabilty problem is solved by extending a recent one-pass tree-shaped tableau method for LTL." @default.
• W2912663980 created "2019-02-21" @default.
• W2912663980 creator A5070497827 @default.
• W2912663980 date "2019-02-16" @default.
• W2912663980 modified "2023-09-27" @default.
• W2912663980 title "Timeline-based planning: Expressiveness and Complexity." @default.
• W2912663980 cites W106643999 @default.
• W2912663980 cites W120333500 @default.
• W2912663980 cites W138011893 @default.
• W2912663980 cites W1482136514 @default.
• W2912663980 cites W1483335513 @default.
• W2912663980 cites W1489391022 @default.
• W2912663980 cites W1491593738 @default.
• W2912663980 cites W1492929237 @default.
• W2912663980 cites W1507805823 @default.
• W2912663980 cites W1514845090 @default.
• W2912663980 cites W1527405706 @default.
• W2912663980 cites W1527406961 @default.
• W2912663980 cites W1527982431 @default.
• W2912663980 cites W1534208801 @default.
• W2912663980 cites W1545688112 @default.
• W2912663980 cites W1552135236 @default.
• W2912663980 cites W1562622826 @default.
• W2912663980 cites W1573805454 @default.
• W2912663980 cites W1575633987 @default.
• W2912663980 cites W1592147779 @default.
• W2912663980 cites W160132717 @default.
• W2912663980 cites W1602995535 @default.
• W2912663980 cites W1667362966 @default.
• W2912663980 cites W1752393975 @default.
• W2912663980 cites W178126370 @default.
• W2912663980 cites W1810595877 @default.
• W2912663980 cites W1812806575 @default.
• W2912663980 cites W182632105 @default.
• W2912663980 cites W1973898358 @default.
• W2912663980 cites W1977070092 @default.
• W2912663980 cites W1977166502 @default.
• W2912663980 cites W1977420943 @default.
• W2912663980 cites W1980251859 @default.
• W2912663980 cites W1981691276 @default.
• W2912663980 cites W1982129592 @default.
• W2912663980 cites W1982302236 @default.
• W2912663980 cites W1982493482 @default.
• W2912663980 cites W1989914740 @default.
• W2912663980 cites W1993457892 @default.
• W2912663980 cites W1994451575 @default.
• W2912663980 cites W1999607653 @default.
• W2912663980 cites W2003227046 @default.
• W2912663980 cites W2004532354 @default.
• W2912663980 cites W2011800728 @default.
• W2912663980 cites W2023808162 @default.
• W2912663980 cites W2025460523 @default.
• W2912663980 cites W2025995266 @default.
• W2912663980 cites W2026629052 @default.
• W2912663980 cites W2030263557 @default.
• W2912663980 cites W2030473999 @default.
• W2912663980 cites W2031157814 @default.
• W2912663980 cites W2044560939 @default.
• W2912663980 cites W2048178754 @default.
• W2912663980 cites W2048905609 @default.
• W2912663980 cites W2049934619 @default.
• W2912663980 cites W2061146398 @default.
• W2912663980 cites W2062897452 @default.
• W2912663980 cites W2071900144 @default.
• W2912663980 cites W2078022909 @default.
• W2912663980 cites W2087248393 @default.
• W2912663980 cites W2093337479 @default.
• W2912663980 cites W2101623441 @default.
• W2912663980 cites W2103186149 @default.
• W2912663980 cites W2119709400 @default.
• W2912663980 cites W2120786641 @default.
• W2912663980 cites W2130660558 @default.
• W2912663980 cites W2130988355 @default.
• W2912663980 cites W2131225255 @default.
• W2912663980 cites W2133517325 @default.
• W2912663980 cites W2138162238 @default.
• W2912663980 cites W2139891885 @default.
• W2912663980 cites W2141139458 @default.
• W2912663980 cites W2145482038 @default.
• W2912663980 cites W2147340401 @default.
• W2912663980 cites W2158495714 @default.
• W2912663980 cites W2159189825 @default.
• W2912663980 cites W2159191524 @default.
• W2912663980 cites W2161484642 @default.
• W2912663980 cites W2164322797 @default.
• W2912663980 cites W2168359464 @default.
• W2912663980 cites W2171701192 @default.
• W2912663980 cites W2184152170 @default.
• W2912663980 cites W2187367468 @default.
• W2912663980 cites W2195359882 @default.
• W2912663980 cites W2244075056 @default.
• W2912663980 cites W2253948697 @default.
• W2912663980 cites W2296071726 @default.
• W2912663980 cites W2297081251 @default.
• W2912663980 cites W2319388297 @default.
• W2912663980 cites W2337392266 @default.
• W2912663980 cites W2400283444 @default.
• W2912663980 cites W2512139417 @default.
• W2912663980 cites W2568050379 @default.
• W2912663980 cites W256918177 @default.

• next