FRINK Linked Data Fragments server

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

• W2200847302 endingPage "2008" @default.
• W2200847302 startingPage "2003" @default.
• W2200847302 abstract "Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planning domain and the Buchi automaton representing the goal. This compilation scheme has been implemented and a number of experiments are reported." @default.
• W2200847302 created "2016-06-24" @default.
• W2200847302 creator A5013290512 @default.
• W2200847302 creator A5046427368 @default.
• W2200847302 creator A5057746643 @default.
• W2200847302 creator A5081966489 @default.
• W2200847302 date "2011-07-16" @default.
• W2200847302 modified "2023-10-12" @default.
• W2200847302 title "Computing infinite plans for LTL goals using a classical planner" @default.
• W2200847302 cites W136570180 @default.
• W2200847302 cites W1489391022 @default.
• W2200847302 cites W1512229743 @default.
• W2200847302 cites W1512310098 @default.
• W2200847302 cites W1527405706 @default.
• W2200847302 cites W1545688112 @default.
• W2200847302 cites W1552135236 @default.
• W2200847302 cites W1560050980 @default.
• W2200847302 cites W1848921964 @default.
• W2200847302 cites W1978892650 @default.
• W2200847302 cites W1990609140 @default.
• W2200847302 cites W2023808162 @default.
• W2200847302 cites W2132750992 @default.
• W2200847302 cites W2158027086 @default.
• W2200847302 cites W2568050379 @default.
• W2200847302 cites W2913927882 @default.
• W2200847302 cites W39537152 @default.
• W2200847302 cites W88855791 @default.
• W2200847302 cites W99841006 @default.
• W2200847302 cites W1597808600 @default.
• W2200847302 cites W749729 @default.
• W2200847302 doi "https://doi.org/10.5591/978-1-57735-516-8/ijcai11-334" @default.
• W2200847302 hasPublicationYear "2011" @default.
• W2200847302 type Work @default.
• W2200847302 sameAs 2200847302 @default.
• W2200847302 citedByCount "11" @default.
• W2200847302 countsByYear W22008473022013 @default.
• W2200847302 countsByYear W22008473022015 @default.
• W2200847302 countsByYear W22008473022016 @default.
• W2200847302 countsByYear W22008473022018 @default.
• W2200847302 countsByYear W22008473022019 @default.
• W2200847302 countsByYear W22008473022020 @default.
• W2200847302 countsByYear W22008473022021 @default.
• W2200847302 crossrefType "proceedings-article" @default.
• W2200847302 hasAuthorship W2200847302A5013290512 @default.
• W2200847302 hasAuthorship W2200847302A5046427368 @default.
• W2200847302 hasAuthorship W2200847302A5057746643 @default.
• W2200847302 hasAuthorship W2200847302A5081966489 @default.
• W2200847302 hasConcept C102993220 @default.
• W2200847302 hasConcept C112505250 @default.
• W2200847302 hasConcept C11413529 @default.
• W2200847302 hasConcept C125411270 @default.
• W2200847302 hasConcept C127413603 @default.
• W2200847302 hasConcept C134306372 @default.
• W2200847302 hasConcept C14523651 @default.
• W2200847302 hasConcept C154945302 @default.
• W2200847302 hasConcept C165753454 @default.
• W2200847302 hasConcept C167822520 @default.
• W2200847302 hasConcept C18762648 @default.
• W2200847302 hasConcept C194525867 @default.
• W2200847302 hasConcept C199360897 @default.
• W2200847302 hasConcept C2776999362 @default.
• W2200847302 hasConcept C33203268 @default.
• W2200847302 hasConcept C33923547 @default.
• W2200847302 hasConcept C36503486 @default.
• W2200847302 hasConcept C41008148 @default.
• W2200847302 hasConcept C45374587 @default.
• W2200847302 hasConcept C4777664 @default.
• W2200847302 hasConcept C48103436 @default.
• W2200847302 hasConcept C69562738 @default.
• W2200847302 hasConcept C74640108 @default.
• W2200847302 hasConcept C78519656 @default.
• W2200847302 hasConcept C80444323 @default.
• W2200847302 hasConceptScore W2200847302C102993220 @default.
• W2200847302 hasConceptScore W2200847302C112505250 @default.
• W2200847302 hasConceptScore W2200847302C11413529 @default.
• W2200847302 hasConceptScore W2200847302C125411270 @default.
• W2200847302 hasConceptScore W2200847302C127413603 @default.
• W2200847302 hasConceptScore W2200847302C134306372 @default.
• W2200847302 hasConceptScore W2200847302C14523651 @default.
• W2200847302 hasConceptScore W2200847302C154945302 @default.
• W2200847302 hasConceptScore W2200847302C165753454 @default.
• W2200847302 hasConceptScore W2200847302C167822520 @default.
• W2200847302 hasConceptScore W2200847302C18762648 @default.
• W2200847302 hasConceptScore W2200847302C194525867 @default.
• W2200847302 hasConceptScore W2200847302C199360897 @default.
• W2200847302 hasConceptScore W2200847302C2776999362 @default.
• W2200847302 hasConceptScore W2200847302C33203268 @default.
• W2200847302 hasConceptScore W2200847302C33923547 @default.
• W2200847302 hasConceptScore W2200847302C36503486 @default.
• W2200847302 hasConceptScore W2200847302C41008148 @default.
• W2200847302 hasConceptScore W2200847302C45374587 @default.
• W2200847302 hasConceptScore W2200847302C4777664 @default.
• W2200847302 hasConceptScore W2200847302C48103436 @default.
• W2200847302 hasConceptScore W2200847302C69562738 @default.
• W2200847302 hasConceptScore W2200847302C74640108 @default.
• W2200847302 hasConceptScore W2200847302C78519656 @default.
• W2200847302 hasConceptScore W2200847302C80444323 @default.
• W2200847302 hasLocation W22008473021 @default.

• next