Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983528622> ?p ?o ?g. }
- W1983528622 endingPage "209" @default.
- W1983528622 startingPage "170" @default.
- W1983528622 abstract "Propositional satisfiability checking is a powerful approach to domain-independent planning. In nearly all practical applications, however, there exists an abundance of domain-specific knowledge that can be used to improve the performance of a planning system. This knowledge is traditionally encoded as procedures or rules that are tied to the details of the planning engine. We present a way to encode domain knowledge in a purely declarative, algorithm independent manner. We demonstrate that the same heuristic knowledge can be used by completely different search engines, one systematic, the other using greedy local search. This approach enhances the power of planning as satisfiability : solution times for some problems are reduced from days to seconds." @default.
- W1983528622 created "2016-06-24" @default.
- W1983528622 creator A5007902508 @default.
- W1983528622 creator A5084928583 @default.
- W1983528622 date "2001-02-01" @default.
- W1983528622 modified "2023-09-26" @default.
- W1983528622 title "Encoding domain knowledge for propositional planning" @default.
- W1983528622 cites W10056579 @default.
- W1983528622 cites W1255391845 @default.
- W1983528622 cites W14839205 @default.
- W1983528622 cites W1499973835 @default.
- W1983528622 cites W1533012984 @default.
- W1983528622 cites W1535996098 @default.
- W1983528622 cites W1569757069 @default.
- W1983528622 cites W1572277334 @default.
- W1983528622 cites W1600919542 @default.
- W1983528622 cites W1605189129 @default.
- W1983528622 cites W160902222 @default.
- W1983528622 cites W1613651675 @default.
- W1983528622 cites W1645675097 @default.
- W1983528622 cites W1658166031 @default.
- W1983528622 cites W1667614912 @default.
- W1983528622 cites W1699282338 @default.
- W1983528622 cites W1731763842 @default.
- W1983528622 cites W1822195155 @default.
- W1983528622 cites W1975767562 @default.
- W1983528622 cites W1982722043 @default.
- W1983528622 cites W199176224 @default.
- W1983528622 cites W2038897673 @default.
- W1983528622 cites W2108637261 @default.
- W1983528622 cites W2119190805 @default.
- W1983528622 cites W2132870943 @default.
- W1983528622 cites W2133772054 @default.
- W1983528622 cites W2133871179 @default.
- W1983528622 cites W2140858880 @default.
- W1983528622 cites W2141088850 @default.
- W1983528622 cites W2164322797 @default.
- W1983528622 cites W2164457256 @default.
- W1983528622 cites W2165372647 @default.
- W1983528622 cites W2337392266 @default.
- W1983528622 cites W30654624 @default.
- W1983528622 cites W4789806 @default.
- W1983528622 cites W97518884 @default.
- W1983528622 cites W2055486654 @default.
- W1983528622 hasPublicationYear "2001" @default.
- W1983528622 type Work @default.
- W1983528622 sameAs 1983528622 @default.
- W1983528622 citedByCount "1" @default.
- W1983528622 crossrefType "book" @default.
- W1983528622 hasAuthorship W1983528622A5007902508 @default.
- W1983528622 hasAuthorship W1983528622A5084928583 @default.
- W1983528622 hasConcept C102993220 @default.
- W1983528622 hasConcept C104317684 @default.
- W1983528622 hasConcept C125411270 @default.
- W1983528622 hasConcept C134306372 @default.
- W1983528622 hasConcept C14523651 @default.
- W1983528622 hasConcept C154945302 @default.
- W1983528622 hasConcept C168773769 @default.
- W1983528622 hasConcept C173801870 @default.
- W1983528622 hasConcept C185592680 @default.
- W1983528622 hasConcept C199360897 @default.
- W1983528622 hasConcept C207685749 @default.
- W1983528622 hasConcept C33203268 @default.
- W1983528622 hasConcept C33923547 @default.
- W1983528622 hasConcept C36503486 @default.
- W1983528622 hasConcept C41008148 @default.
- W1983528622 hasConcept C55493867 @default.
- W1983528622 hasConcept C66746571 @default.
- W1983528622 hasConcept C6943359 @default.
- W1983528622 hasConcept C69562738 @default.
- W1983528622 hasConcept C74640108 @default.
- W1983528622 hasConcept C80444323 @default.
- W1983528622 hasConceptScore W1983528622C102993220 @default.
- W1983528622 hasConceptScore W1983528622C104317684 @default.
- W1983528622 hasConceptScore W1983528622C125411270 @default.
- W1983528622 hasConceptScore W1983528622C134306372 @default.
- W1983528622 hasConceptScore W1983528622C14523651 @default.
- W1983528622 hasConceptScore W1983528622C154945302 @default.
- W1983528622 hasConceptScore W1983528622C168773769 @default.
- W1983528622 hasConceptScore W1983528622C173801870 @default.
- W1983528622 hasConceptScore W1983528622C185592680 @default.
- W1983528622 hasConceptScore W1983528622C199360897 @default.
- W1983528622 hasConceptScore W1983528622C207685749 @default.
- W1983528622 hasConceptScore W1983528622C33203268 @default.
- W1983528622 hasConceptScore W1983528622C33923547 @default.
- W1983528622 hasConceptScore W1983528622C36503486 @default.
- W1983528622 hasConceptScore W1983528622C41008148 @default.
- W1983528622 hasConceptScore W1983528622C55493867 @default.
- W1983528622 hasConceptScore W1983528622C66746571 @default.
- W1983528622 hasConceptScore W1983528622C6943359 @default.
- W1983528622 hasConceptScore W1983528622C69562738 @default.
- W1983528622 hasConceptScore W1983528622C74640108 @default.
- W1983528622 hasConceptScore W1983528622C80444323 @default.
- W1983528622 hasLocation W19835286221 @default.
- W1983528622 hasOpenAccess W1983528622 @default.
- W1983528622 hasPrimaryLocation W19835286221 @default.
- W1983528622 hasRelatedWork W1499997324 @default.
- W1983528622 hasRelatedWork W1556434751 @default.