FRINK Linked Data Fragments server

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

• W2283676177 endingPage "2903" @default.
• W2283676177 startingPage "2897" @default.
• W2283676177 abstract "Planning is an important AI task that gives rise to many hard problems. In order to come up with efficient algorithms for this setting, it is important to understand the sources of complexity. For planning problems that are beyond NP, identifying fragments that allow an efficient reduction to SAT can be a feasible approach due to the great performance of modern SAT solvers. In this paper, we use the framework of parameterized complexity theory to obtain a more fine-grained complexity analysis of natural planning problems beyond NP. With this analysis we are able to point out several variants of planning where the structure in the input makes encodings into SAT feasible. We complement these positive results with some hardness results and a new machine characterization for the intractability class ∃*¬k-W[P]." @default.
• W2283676177 created "2016-06-24" @default.
• W2283676177 creator A5048014720 @default.
• W2283676177 creator A5068702258 @default.
• W2283676177 creator A5074245403 @default.
• W2283676177 date "2015-07-25" @default.
• W2283676177 modified "2023-09-23" @default.
• W2283676177 title "Fixed-parameter tractable reductions to SAT for planning" @default.
• W2283676177 cites W1527197079 @default.
• W2283676177 cites W1549449731 @default.
• W2283676177 cites W171621013 @default.
• W2283676177 cites W1788645111 @default.
• W2283676177 cites W1817412228 @default.
• W2283676177 cites W195515244 @default.
• W2283676177 cites W1988772559 @default.
• W2283676177 cites W1999396796 @default.
• W2283676177 cites W2012170877 @default.
• W2283676177 cites W2017128525 @default.
• W2283676177 cites W2036265926 @default.
• W2283676177 cites W2045526507 @default.
• W2283676177 cites W2116087731 @default.
• W2283676177 cites W2171811389 @default.
• W2283676177 cites W2402235836 @default.
• W2283676177 cites W2913688336 @default.
• W2283676177 cites W2963038528 @default.
• W2283676177 cites W36639738 @default.
• W2283676177 cites W44408352 @default.
• W2283676177 hasPublicationYear "2015" @default.
• W2283676177 type Work @default.
• W2283676177 sameAs 2283676177 @default.
• W2283676177 citedByCount "2" @default.
• W2283676177 countsByYear W22836761772016 @default.
• W2283676177 crossrefType "proceedings-article" @default.
• W2283676177 hasAuthorship W2283676177A5048014720 @default.
• W2283676177 hasAuthorship W2283676177A5068702258 @default.
• W2283676177 hasAuthorship W2283676177A5074245403 @default.
• W2283676177 hasConcept C104317684 @default.
• W2283676177 hasConcept C111335779 @default.
• W2283676177 hasConcept C112313634 @default.
• W2283676177 hasConcept C11413529 @default.
• W2283676177 hasConcept C126255220 @default.
• W2283676177 hasConcept C127716648 @default.
• W2283676177 hasConcept C154945302 @default.
• W2283676177 hasConcept C162324750 @default.
• W2283676177 hasConcept C165464430 @default.
• W2283676177 hasConcept C179799912 @default.
• W2283676177 hasConcept C185592680 @default.
• W2283676177 hasConcept C187736073 @default.
• W2283676177 hasConcept C188082640 @default.
• W2283676177 hasConcept C2524010 @default.
• W2283676177 hasConcept C2777212361 @default.
• W2283676177 hasConcept C2780451532 @default.
• W2283676177 hasConcept C28719098 @default.
• W2283676177 hasConcept C311688 @default.
• W2283676177 hasConcept C33923547 @default.
• W2283676177 hasConcept C41008148 @default.
• W2283676177 hasConcept C55493867 @default.
• W2283676177 hasConcept C80444323 @default.
• W2283676177 hasConceptScore W2283676177C104317684 @default.
• W2283676177 hasConceptScore W2283676177C111335779 @default.
• W2283676177 hasConceptScore W2283676177C112313634 @default.
• W2283676177 hasConceptScore W2283676177C11413529 @default.
• W2283676177 hasConceptScore W2283676177C126255220 @default.
• W2283676177 hasConceptScore W2283676177C127716648 @default.
• W2283676177 hasConceptScore W2283676177C154945302 @default.
• W2283676177 hasConceptScore W2283676177C162324750 @default.
• W2283676177 hasConceptScore W2283676177C165464430 @default.
• W2283676177 hasConceptScore W2283676177C179799912 @default.
• W2283676177 hasConceptScore W2283676177C185592680 @default.
• W2283676177 hasConceptScore W2283676177C187736073 @default.
• W2283676177 hasConceptScore W2283676177C188082640 @default.
• W2283676177 hasConceptScore W2283676177C2524010 @default.
• W2283676177 hasConceptScore W2283676177C2777212361 @default.
• W2283676177 hasConceptScore W2283676177C2780451532 @default.
• W2283676177 hasConceptScore W2283676177C28719098 @default.
• W2283676177 hasConceptScore W2283676177C311688 @default.
• W2283676177 hasConceptScore W2283676177C33923547 @default.
• W2283676177 hasConceptScore W2283676177C41008148 @default.
• W2283676177 hasConceptScore W2283676177C55493867 @default.
• W2283676177 hasConceptScore W2283676177C80444323 @default.
• W2283676177 hasLocation W22836761771 @default.
• W2283676177 hasOpenAccess W2283676177 @default.
• W2283676177 hasPrimaryLocation W22836761771 @default.
• W2283676177 hasRelatedWork W120047940 @default.
• W2283676177 hasRelatedWork W1486389616 @default.
• W2283676177 hasRelatedWork W1556434751 @default.
• W2283676177 hasRelatedWork W1570066695 @default.
• W2283676177 hasRelatedWork W1582388266 @default.
• W2283676177 hasRelatedWork W1693115739 @default.
• W2283676177 hasRelatedWork W2146220671 @default.
• W2283676177 hasRelatedWork W2187650504 @default.
• W2283676177 hasRelatedWork W2225388902 @default.
• W2283676177 hasRelatedWork W2273947403 @default.
• W2283676177 hasRelatedWork W2399087627 @default.
• W2283676177 hasRelatedWork W2579221958 @default.
• W2283676177 hasRelatedWork W2740629432 @default.
• W2283676177 hasRelatedWork W2949426282 @default.
• W2283676177 hasRelatedWork W3013362614 @default.

• next