Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502433320> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1502433320 endingPage "583" @default.
- W1502433320 startingPage "578" @default.
- W1502433320 abstract "We show that a Horn SAT and logic programming approach to obtain polynomial time algorithms for problem solving can be fruitfully applied to finding plans for various kinds of goals in a non-deterministic domain. We particularly focus on finding weak, strong, and strong cyclic plans for planning problems, as they are the most studied ones in the literature. We describe new algorithms for these problems and show how non-monotonic logic programming can be used to declaratively compute strong cyclic plans. As a further benefit, preferred plans among alternative candidate plans may be singled out this way. We give complexity results for weak. strong, and strong cyclic planning. Finally, we briefly discuss some of the kinds of goals in non-deterministic domains for which the approach in the paper can be used." @default.
- W1502433320 created "2016-06-24" @default.
- W1502433320 creator A5048337398 @default.
- W1502433320 creator A5082178480 @default.
- W1502433320 creator A5083735830 @default.
- W1502433320 date "2005-07-09" @default.
- W1502433320 modified "2023-10-18" @default.
- W1502433320 title "Using SAT and logic programming to design polynomial-time algorithms for planning in non-deterministic domains" @default.
- W1502433320 cites W1667362966 @default.
- W1502433320 cites W1969965298 @default.
- W1502433320 cites W1976055110 @default.
- W1502433320 cites W1994451575 @default.
- W1502433320 cites W1997420616 @default.
- W1502433320 cites W2011124182 @default.
- W1502433320 cites W2011992362 @default.
- W1502433320 cites W2076698873 @default.
- W1502433320 cites W2108313177 @default.
- W1502433320 cites W49927754 @default.
- W1502433320 hasPublicationYear "2005" @default.
- W1502433320 type Work @default.
- W1502433320 sameAs 1502433320 @default.
- W1502433320 citedByCount "5" @default.
- W1502433320 countsByYear W15024333202012 @default.
- W1502433320 countsByYear W15024333202016 @default.
- W1502433320 countsByYear W15024333202018 @default.
- W1502433320 crossrefType "proceedings-article" @default.
- W1502433320 hasAuthorship W1502433320A5048337398 @default.
- W1502433320 hasAuthorship W1502433320A5082178480 @default.
- W1502433320 hasAuthorship W1502433320A5083735830 @default.
- W1502433320 hasConcept C11413529 @default.
- W1502433320 hasConcept C120665830 @default.
- W1502433320 hasConcept C121332964 @default.
- W1502433320 hasConcept C126255220 @default.
- W1502433320 hasConcept C128838566 @default.
- W1502433320 hasConcept C134306372 @default.
- W1502433320 hasConcept C189790780 @default.
- W1502433320 hasConcept C192209626 @default.
- W1502433320 hasConcept C2987117450 @default.
- W1502433320 hasConcept C311688 @default.
- W1502433320 hasConcept C33923547 @default.
- W1502433320 hasConcept C36503486 @default.
- W1502433320 hasConcept C41008148 @default.
- W1502433320 hasConcept C72169020 @default.
- W1502433320 hasConcept C80444323 @default.
- W1502433320 hasConceptScore W1502433320C11413529 @default.
- W1502433320 hasConceptScore W1502433320C120665830 @default.
- W1502433320 hasConceptScore W1502433320C121332964 @default.
- W1502433320 hasConceptScore W1502433320C126255220 @default.
- W1502433320 hasConceptScore W1502433320C128838566 @default.
- W1502433320 hasConceptScore W1502433320C134306372 @default.
- W1502433320 hasConceptScore W1502433320C189790780 @default.
- W1502433320 hasConceptScore W1502433320C192209626 @default.
- W1502433320 hasConceptScore W1502433320C2987117450 @default.
- W1502433320 hasConceptScore W1502433320C311688 @default.
- W1502433320 hasConceptScore W1502433320C33923547 @default.
- W1502433320 hasConceptScore W1502433320C36503486 @default.
- W1502433320 hasConceptScore W1502433320C41008148 @default.
- W1502433320 hasConceptScore W1502433320C72169020 @default.
- W1502433320 hasConceptScore W1502433320C80444323 @default.
- W1502433320 hasLocation W15024333201 @default.
- W1502433320 hasOpenAccess W1502433320 @default.
- W1502433320 hasPrimaryLocation W15024333201 @default.
- W1502433320 hasRelatedWork W1519044014 @default.
- W1502433320 hasRelatedWork W1542714663 @default.
- W1502433320 hasRelatedWork W1751548964 @default.
- W1502433320 hasRelatedWork W1980251859 @default.
- W1502433320 hasRelatedWork W1994451575 @default.
- W1502433320 hasRelatedWork W2089730874 @default.
- W1502433320 hasRelatedWork W2121957284 @default.
- W1502433320 hasRelatedWork W2127972144 @default.
- W1502433320 hasRelatedWork W2217031491 @default.
- W1502433320 hasRelatedWork W2502059287 @default.
- W1502433320 hasRelatedWork W2740290912 @default.
- W1502433320 hasRelatedWork W2949573898 @default.
- W1502433320 hasRelatedWork W2949884098 @default.
- W1502433320 hasRelatedWork W2950188036 @default.
- W1502433320 hasRelatedWork W2963038528 @default.
- W1502433320 hasRelatedWork W3090377052 @default.
- W1502433320 hasRelatedWork W3091367373 @default.
- W1502433320 hasRelatedWork W3208376549 @default.
- W1502433320 hasRelatedWork W900043438 @default.
- W1502433320 hasRelatedWork W2486504126 @default.
- W1502433320 isParatext "false" @default.
- W1502433320 isRetracted "false" @default.
- W1502433320 magId "1502433320" @default.
- W1502433320 workType "article" @default.