FRINK Linked Data Fragments server

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

• W3564832 endingPage "271" @default.
• W3564832 startingPage "264" @default.
• W3564832 abstract "Focusing on the computation of conformant plans whose verification can be done efficiently, we have recently proposed a polynomial scheme for mapping conformant problems P with deterministic actions into classical problems K(P). The scheme is sound as the classical plans are all conformant, but is incomplete as the converse relation does not always hold. In this paper, we extend this work and consider an alternative, more powerful translation based on the introduction of epistemic tagged literals KL/t where L is a literal in P and t is a set of literals in P unknown in the initial situation. The translation ensures that a plan makes KL/t true only when the plan makes L certain in P given the assumption that t is initially true. We show that under general conditions the new translation scheme is complete and that its complexity can be characterized in terms of a parameter of the problem that we call conformant width. We show that the complexity of the translation is exponential in the problem width only, find that the width of almost all benchmarks is 1, and show that a conformant planner based on this translation solves some interesting domains that cannot be solved by other planners. This translation is the basis for T0, the best performing planner in the Conformant Track of the 2006 International Planning Competition." @default.
• W3564832 created "2016-06-24" @default.
• W3564832 creator A5035255327 @default.
• W3564832 creator A5046427368 @default.
• W3564832 date "2007-09-22" @default.
• W3564832 modified "2023-09-28" @default.
• W3564832 title "From conformant into classical planning: efficient translations that may be complete too" @default.
• W3564832 cites W10790791 @default.
• W3564832 cites W148059143 @default.
• W3564832 cites W1541623506 @default.
• W3564832 cites W1545688112 @default.
• W3564832 cites W1596480470 @default.
• W3564832 cites W1647879466 @default.
• W3564832 cites W1992992996 @default.
• W3564832 cites W2115670157 @default.
• W3564832 cites W2121898615 @default.
• W3564832 cites W2911829174 @default.
• W3564832 cites W299005153 @default.
• W3564832 cites W36235450 @default.
• W3564832 cites W39089149 @default.
• W3564832 cites W56175857 @default.
• W3564832 cites W70402205 @default.
• W3564832 cites W85014365 @default.
• W3564832 cites W97081472 @default.
• W3564832 hasPublicationYear "2007" @default.
• W3564832 type Work @default.
• W3564832 sameAs 3564832 @default.
• W3564832 citedByCount "35" @default.
• W3564832 countsByYear W35648322012 @default.
• W3564832 countsByYear W35648322013 @default.
• W3564832 countsByYear W35648322014 @default.
• W3564832 countsByYear W35648322015 @default.
• W3564832 countsByYear W35648322017 @default.
• W3564832 countsByYear W35648322020 @default.
• W3564832 countsByYear W35648322021 @default.
• W3564832 crossrefType "proceedings-article" @default.
• W3564832 hasAuthorship W3564832A5035255327 @default.
• W3564832 hasAuthorship W3564832A5046427368 @default.
• W3564832 hasConcept C104317684 @default.
• W3564832 hasConcept C105580179 @default.
• W3564832 hasConcept C11413529 @default.
• W3564832 hasConcept C126255220 @default.
• W3564832 hasConcept C134306372 @default.
• W3564832 hasConcept C149364088 @default.
• W3564832 hasConcept C154945302 @default.
• W3564832 hasConcept C177264268 @default.
• W3564832 hasConcept C185592680 @default.
• W3564832 hasConcept C199360897 @default.
• W3564832 hasConcept C203702658 @default.
• W3564832 hasConcept C2524010 @default.
• W3564832 hasConcept C2776809875 @default.
• W3564832 hasConcept C2776999362 @default.
• W3564832 hasConcept C311688 @default.
• W3564832 hasConcept C33923547 @default.
• W3564832 hasConcept C41008148 @default.
• W3564832 hasConcept C45374587 @default.
• W3564832 hasConcept C55493867 @default.
• W3564832 hasConcept C77618280 @default.
• W3564832 hasConcept C80444323 @default.
• W3564832 hasConceptScore W3564832C104317684 @default.
• W3564832 hasConceptScore W3564832C105580179 @default.
• W3564832 hasConceptScore W3564832C11413529 @default.
• W3564832 hasConceptScore W3564832C126255220 @default.
• W3564832 hasConceptScore W3564832C134306372 @default.
• W3564832 hasConceptScore W3564832C149364088 @default.
• W3564832 hasConceptScore W3564832C154945302 @default.
• W3564832 hasConceptScore W3564832C177264268 @default.
• W3564832 hasConceptScore W3564832C185592680 @default.
• W3564832 hasConceptScore W3564832C199360897 @default.
• W3564832 hasConceptScore W3564832C203702658 @default.
• W3564832 hasConceptScore W3564832C2524010 @default.
• W3564832 hasConceptScore W3564832C2776809875 @default.
• W3564832 hasConceptScore W3564832C2776999362 @default.
• W3564832 hasConceptScore W3564832C311688 @default.
• W3564832 hasConceptScore W3564832C33923547 @default.
• W3564832 hasConceptScore W3564832C41008148 @default.
• W3564832 hasConceptScore W3564832C45374587 @default.
• W3564832 hasConceptScore W3564832C55493867 @default.
• W3564832 hasConceptScore W3564832C77618280 @default.
• W3564832 hasConceptScore W3564832C80444323 @default.
• W3564832 hasLocation W35648321 @default.
• W3564832 hasOpenAccess W3564832 @default.
• W3564832 hasPrimaryLocation W35648321 @default.
• W3564832 hasRelatedWork W116587910 @default.
• W3564832 hasRelatedWork W148059143 @default.
• W3564832 hasRelatedWork W1501459598 @default.
• W3564832 hasRelatedWork W1541623506 @default.
• W3564832 hasRelatedWork W1545688112 @default.
• W3564832 hasRelatedWork W1596480470 @default.
• W3564832 hasRelatedWork W1963610481 @default.
• W3564832 hasRelatedWork W1992992996 @default.
• W3564832 hasRelatedWork W2009810952 @default.
• W3564832 hasRelatedWork W2017128525 @default.
• W3564832 hasRelatedWork W2119709400 @default.
• W3564832 hasRelatedWork W2121898615 @default.
• W3564832 hasRelatedWork W2122054842 @default.
• W3564832 hasRelatedWork W2911829174 @default.
• W3564832 hasRelatedWork W3101355526 @default.

• next