FRINK Linked Data Fragments server

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

• W2401898527 endingPage "643" @default.
• W2401898527 startingPage "634" @default.
• W2401898527 abstract "We consider the problem of planning with declarative search control in the framework of the situation calculus. In particular, we are concerned with forward-chaining planning with search control expressed by linear temporal logic formulas in the style of Bacchus & Kabanza's TLPlan system. We introduce a procedure for extracting conditions which can then be evaluated on plan prefixes for enforcing search control. These conditions are situation calculus formulas whose entailment can be checked by regression and can be used as further preconditions of actions in nonMarkovian action theories and in some cases in classical Markovian theories through a transformation procedure. We show that these conditions eliminate exactly the same plan prefixes as the Progression algorithm of the TLPlan system." @default.
• W2401898527 created "2016-06-24" @default.
• W2401898527 creator A5026824657 @default.
• W2401898527 date "2004-06-02" @default.
• W2401898527 modified "2023-09-25" @default.
• W2401898527 title "Precondition control and the Progression algorithm" @default.
• W2401898527 cites W112239219 @default.
• W2401898527 cites W1487088545 @default.
• W2401898527 cites W1496114564 @default.
• W2401898527 cites W15018536 @default.
• W2401898527 cites W1537435730 @default.
• W2401898527 cites W1538480275 @default.
• W2401898527 cites W1552135236 @default.
• W2401898527 cites W1598960279 @default.
• W2401898527 cites W1981627423 @default.
• W2401898527 cites W2017139738 @default.
• W2401898527 cites W2022716165 @default.
• W2401898527 cites W2038809129 @default.
• W2401898527 cites W2076950106 @default.
• W2401898527 cites W2105710531 @default.
• W2401898527 cites W2141088850 @default.
• W2401898527 cites W81942528 @default.
• W2401898527 cites W145785541 @default.
• W2401898527 hasPublicationYear "2004" @default.
• W2401898527 type Work @default.
• W2401898527 sameAs 2401898527 @default.
• W2401898527 citedByCount "14" @default.
• W2401898527 countsByYear W24018985272012 @default.
• W2401898527 countsByYear W24018985272013 @default.
• W2401898527 countsByYear W24018985272014 @default.
• W2401898527 countsByYear W24018985272018 @default.
• W2401898527 crossrefType "proceedings-article" @default.
• W2401898527 hasAuthorship W2401898527A5026824657 @default.
• W2401898527 hasConcept C11413529 @default.
• W2401898527 hasConcept C121332964 @default.
• W2401898527 hasConcept C129916263 @default.
• W2401898527 hasConcept C138885662 @default.
• W2401898527 hasConcept C141603448 @default.
• W2401898527 hasConcept C154945302 @default.
• W2401898527 hasConcept C15744967 @default.
• W2401898527 hasConcept C166957645 @default.
• W2401898527 hasConcept C192465680 @default.
• W2401898527 hasConcept C199343813 @default.
• W2401898527 hasConcept C199360897 @default.
• W2401898527 hasConcept C22497172 @default.
• W2401898527 hasConcept C2775924081 @default.
• W2401898527 hasConcept C2776214188 @default.
• W2401898527 hasConcept C2776505523 @default.
• W2401898527 hasConcept C2777686260 @default.
• W2401898527 hasConcept C2780791683 @default.
• W2401898527 hasConcept C41008148 @default.
• W2401898527 hasConcept C41895202 @default.
• W2401898527 hasConcept C46743427 @default.
• W2401898527 hasConcept C49020025 @default.
• W2401898527 hasConcept C542102704 @default.
• W2401898527 hasConcept C62520636 @default.
• W2401898527 hasConcept C71924100 @default.
• W2401898527 hasConcept C80444323 @default.
• W2401898527 hasConcept C95457728 @default.
• W2401898527 hasConceptScore W2401898527C11413529 @default.
• W2401898527 hasConceptScore W2401898527C121332964 @default.
• W2401898527 hasConceptScore W2401898527C129916263 @default.
• W2401898527 hasConceptScore W2401898527C138885662 @default.
• W2401898527 hasConceptScore W2401898527C141603448 @default.
• W2401898527 hasConceptScore W2401898527C154945302 @default.
• W2401898527 hasConceptScore W2401898527C15744967 @default.
• W2401898527 hasConceptScore W2401898527C166957645 @default.
• W2401898527 hasConceptScore W2401898527C192465680 @default.
• W2401898527 hasConceptScore W2401898527C199343813 @default.
• W2401898527 hasConceptScore W2401898527C199360897 @default.
• W2401898527 hasConceptScore W2401898527C22497172 @default.
• W2401898527 hasConceptScore W2401898527C2775924081 @default.
• W2401898527 hasConceptScore W2401898527C2776214188 @default.
• W2401898527 hasConceptScore W2401898527C2776505523 @default.
• W2401898527 hasConceptScore W2401898527C2777686260 @default.
• W2401898527 hasConceptScore W2401898527C2780791683 @default.
• W2401898527 hasConceptScore W2401898527C41008148 @default.
• W2401898527 hasConceptScore W2401898527C41895202 @default.
• W2401898527 hasConceptScore W2401898527C46743427 @default.
• W2401898527 hasConceptScore W2401898527C49020025 @default.
• W2401898527 hasConceptScore W2401898527C542102704 @default.
• W2401898527 hasConceptScore W2401898527C62520636 @default.
• W2401898527 hasConceptScore W2401898527C71924100 @default.
• W2401898527 hasConceptScore W2401898527C80444323 @default.
• W2401898527 hasConceptScore W2401898527C95457728 @default.
• W2401898527 hasLocation W24018985271 @default.
• W2401898527 hasOpenAccess W2401898527 @default.
• W2401898527 hasPrimaryLocation W24018985271 @default.
• W2401898527 hasRelatedWork W112239219 @default.
• W2401898527 hasRelatedWork W129785674 @default.
• W2401898527 hasRelatedWork W1315694 @default.
• W2401898527 hasRelatedWork W1496114564 @default.
• W2401898527 hasRelatedWork W152378237 @default.
• W2401898527 hasRelatedWork W1527405706 @default.
• W2401898527 hasRelatedWork W1537435730 @default.
• W2401898527 hasRelatedWork W1552135236 @default.
• W2401898527 hasRelatedWork W1601102605 @default.
• W2401898527 hasRelatedWork W1700264732 @default.

• next