FRINK Linked Data Fragments server

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

• W3013702123 endingPage "103271" @default.
• W3013702123 startingPage "103271" @default.
• W3013702123 abstract "We introduce cpces, a novel planner for the problem of deterministic conformant planning. cpces solves the problem by producing candidate plans based on a sample of the initial belief state, searching for counter-examples to these plans, and assigning these counter-examples to the sample, until a valid plan has been produced or the problem has been proved unfeasible. On top of providing a means to compute a conformant plan, the sample can also be understood as a justification for the plan being found, or relevant reasons why a plan cannot be found. We study the theoretical properties that cpces enjoys—correctness, completeness, and optimality—and how the several variants of cpces we describe differ in behaviour. Moreover, we establish a theoretical connection between the cpces framework and well-known concepts from the literature such as tags and width. With this connection we prove the worst case complexity for some variants of cpces. Finally, we show how cpces can be used in a more incremental fashion by learning sequencing of actions from the previous plan being found. Such a technique mimics the use of macro-operators, widely used in automated planning to speedup resolution. Our theoretical analysis is accompanied with a thorough experimental evaluation of the (many) possible incarnations of cpces. This not only proves our theoretical findings from an empirical perspective, but also shows that cpces is able to handle problems that have been traditionally hard to solve by the existing conformant planners, whilst remaining competitive over “easier” conformant planning problems. Importantly, cpces is able to prove many unsolvable conformant planning problems as such, extending substantially the reach of conformant planners." @default.
• W3013702123 created "2020-04-03" @default.
• W3013702123 creator A5000852884 @default.
• W3013702123 creator A5048276166 @default.
• W3013702123 date "2020-07-01" @default.
• W3013702123 modified "2023-09-26" @default.
• W3013702123 title "CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement" @default.
• W3013702123 cites W1545688112 @default.
• W3013702123 cites W1963610481 @default.
• W3013702123 cites W1973898358 @default.
• W3013702123 cites W1992992996 @default.
• W3013702123 cites W2000712072 @default.
• W3013702123 cites W2012751511 @default.
• W3013702123 cites W2025460523 @default.
• W3013702123 cites W2052384302 @default.
• W3013702123 cites W2061146398 @default.
• W3013702123 cites W2080267935 @default.
• W3013702123 cites W2110415190 @default.
• W3013702123 cites W2112319917 @default.
• W3013702123 cites W2121898615 @default.
• W3013702123 cites W2122054842 @default.
• W3013702123 cites W2140964982 @default.
• W3013702123 cites W2309239751 @default.
• W3013702123 cites W3098378096 @default.
• W3013702123 cites W3099451540 @default.
• W3013702123 cites W3101288375 @default.
• W3013702123 cites W3103056503 @default.
• W3013702123 cites W3106180137 @default.
• W3013702123 cites W779637183 @default.
• W3013702123 doi "https://doi.org/10.1016/j.artint.2020.103271" @default.
• W3013702123 hasPublicationYear "2020" @default.
• W3013702123 type Work @default.
• W3013702123 sameAs 3013702123 @default.
• W3013702123 citedByCount "2" @default.
• W3013702123 countsByYear W30137021232020 @default.
• W3013702123 countsByYear W30137021232022 @default.
• W3013702123 crossrefType "journal-article" @default.
• W3013702123 hasAuthorship W3013702123A5000852884 @default.
• W3013702123 hasAuthorship W3013702123A5048276166 @default.
• W3013702123 hasConcept C111919701 @default.
• W3013702123 hasConcept C11413529 @default.
• W3013702123 hasConcept C118615104 @default.
• W3013702123 hasConcept C13355873 @default.
• W3013702123 hasConcept C134306372 @default.
• W3013702123 hasConcept C154945302 @default.
• W3013702123 hasConcept C162838799 @default.
• W3013702123 hasConcept C166957645 @default.
• W3013702123 hasConcept C17231256 @default.
• W3013702123 hasConcept C185592680 @default.
• W3013702123 hasConcept C198531522 @default.
• W3013702123 hasConcept C2524010 @default.
• W3013702123 hasConcept C2776505523 @default.
• W3013702123 hasConcept C2776999362 @default.
• W3013702123 hasConcept C33923547 @default.
• W3013702123 hasConcept C41008148 @default.
• W3013702123 hasConcept C43617362 @default.
• W3013702123 hasConcept C48103436 @default.
• W3013702123 hasConcept C55439883 @default.
• W3013702123 hasConcept C68339613 @default.
• W3013702123 hasConcept C80444323 @default.
• W3013702123 hasConcept C95457728 @default.
• W3013702123 hasConceptScore W3013702123C111919701 @default.
• W3013702123 hasConceptScore W3013702123C11413529 @default.
• W3013702123 hasConceptScore W3013702123C118615104 @default.
• W3013702123 hasConceptScore W3013702123C13355873 @default.
• W3013702123 hasConceptScore W3013702123C134306372 @default.
• W3013702123 hasConceptScore W3013702123C154945302 @default.
• W3013702123 hasConceptScore W3013702123C162838799 @default.
• W3013702123 hasConceptScore W3013702123C166957645 @default.
• W3013702123 hasConceptScore W3013702123C17231256 @default.
• W3013702123 hasConceptScore W3013702123C185592680 @default.
• W3013702123 hasConceptScore W3013702123C198531522 @default.
• W3013702123 hasConceptScore W3013702123C2524010 @default.
• W3013702123 hasConceptScore W3013702123C2776505523 @default.
• W3013702123 hasConceptScore W3013702123C2776999362 @default.
• W3013702123 hasConceptScore W3013702123C33923547 @default.
• W3013702123 hasConceptScore W3013702123C41008148 @default.
• W3013702123 hasConceptScore W3013702123C43617362 @default.
• W3013702123 hasConceptScore W3013702123C48103436 @default.
• W3013702123 hasConceptScore W3013702123C55439883 @default.
• W3013702123 hasConceptScore W3013702123C68339613 @default.
• W3013702123 hasConceptScore W3013702123C80444323 @default.
• W3013702123 hasConceptScore W3013702123C95457728 @default.
• W3013702123 hasLocation W30137021231 @default.
• W3013702123 hasOpenAccess W3013702123 @default.
• W3013702123 hasPrimaryLocation W30137021231 @default.
• W3013702123 hasRelatedWork W1968011359 @default.
• W3013702123 hasRelatedWork W2127730923 @default.
• W3013702123 hasRelatedWork W2363169864 @default.
• W3013702123 hasRelatedWork W275120000 @default.
• W3013702123 hasRelatedWork W2951137283 @default.
• W3013702123 hasRelatedWork W3115481270 @default.
• W3013702123 hasRelatedWork W4287547009 @default.
• W3013702123 hasRelatedWork W4298767027 @default.
• W3013702123 hasRelatedWork W4383174353 @default.
• W3013702123 hasRelatedWork W804882291 @default.
• W3013702123 hasVolume "284" @default.
• W3013702123 isParatext "false" @default.

• next