Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387185364> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4387185364 abstract "Answer Set Programming is widely applied research area for knowledge representation and for solving industrial domains. One of the challenges of this formalism focuses on the so-called grounding bottleneck, which addresses the efficient replacement of first-order variables by means of domain values. Recently, there have been several works in this direction, ranging from lazy grounding, hybrid solving, over translational approaches. Inspired by a translation from non-ground normal programs to ground disjunctive programs, we attack the grounding bottleneck from a more general angle. We provide a polynomial reduction for grounding disjunctive programs of bounded domain size by reducing to propositional epistemic logic programs (ELPs). By slightly adapting our reduction, we show new complexity results for non-ground programs that adhere to the measure treewidth. We complement these results by matching lower bounds under the exponential time hypothesis, ruling out significantly better algorithms." @default.
- W4387185364 created "2023-09-30" @default.
- W4387185364 creator A5013023773 @default.
- W4387185364 creator A5056989280 @default.
- W4387185364 creator A5006053030 @default.
- W4387185364 date "2023-09-28" @default.
- W4387185364 modified "2023-09-30" @default.
- W4387185364 title "On the Structural Complexity of Grounding – Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth" @default.
- W4387185364 doi "https://doi.org/10.3233/faia230277" @default.
- W4387185364 hasPublicationYear "2023" @default.
- W4387185364 type Work @default.
- W4387185364 citedByCount "0" @default.
- W4387185364 crossrefType "book-chapter" @default.
- W4387185364 hasAuthorship W4387185364A5006053030 @default.
- W4387185364 hasAuthorship W4387185364A5013023773 @default.
- W4387185364 hasAuthorship W4387185364A5056989280 @default.
- W4387185364 hasBestOaLocation W43871853641 @default.
- W4387185364 hasConcept C104317684 @default.
- W4387185364 hasConcept C112313634 @default.
- W4387185364 hasConcept C11413529 @default.
- W4387185364 hasConcept C119599485 @default.
- W4387185364 hasConcept C126255220 @default.
- W4387185364 hasConcept C127413603 @default.
- W4387185364 hasConcept C127705205 @default.
- W4387185364 hasConcept C127716648 @default.
- W4387185364 hasConcept C132525143 @default.
- W4387185364 hasConcept C132569581 @default.
- W4387185364 hasConcept C134306372 @default.
- W4387185364 hasConcept C149635348 @default.
- W4387185364 hasConcept C154945302 @default.
- W4387185364 hasConcept C168993435 @default.
- W4387185364 hasConcept C171018156 @default.
- W4387185364 hasConcept C185592680 @default.
- W4387185364 hasConcept C188082640 @default.
- W4387185364 hasConcept C203776342 @default.
- W4387185364 hasConcept C2524010 @default.
- W4387185364 hasConcept C2780513914 @default.
- W4387185364 hasConcept C33923547 @default.
- W4387185364 hasConcept C34388435 @default.
- W4387185364 hasConcept C41008148 @default.
- W4387185364 hasConcept C43517604 @default.
- W4387185364 hasConcept C55493867 @default.
- W4387185364 hasConcept C80444323 @default.
- W4387185364 hasConceptScore W4387185364C104317684 @default.
- W4387185364 hasConceptScore W4387185364C112313634 @default.
- W4387185364 hasConceptScore W4387185364C11413529 @default.
- W4387185364 hasConceptScore W4387185364C119599485 @default.
- W4387185364 hasConceptScore W4387185364C126255220 @default.
- W4387185364 hasConceptScore W4387185364C127413603 @default.
- W4387185364 hasConceptScore W4387185364C127705205 @default.
- W4387185364 hasConceptScore W4387185364C127716648 @default.
- W4387185364 hasConceptScore W4387185364C132525143 @default.
- W4387185364 hasConceptScore W4387185364C132569581 @default.
- W4387185364 hasConceptScore W4387185364C134306372 @default.
- W4387185364 hasConceptScore W4387185364C149635348 @default.
- W4387185364 hasConceptScore W4387185364C154945302 @default.
- W4387185364 hasConceptScore W4387185364C168993435 @default.
- W4387185364 hasConceptScore W4387185364C171018156 @default.
- W4387185364 hasConceptScore W4387185364C185592680 @default.
- W4387185364 hasConceptScore W4387185364C188082640 @default.
- W4387185364 hasConceptScore W4387185364C203776342 @default.
- W4387185364 hasConceptScore W4387185364C2524010 @default.
- W4387185364 hasConceptScore W4387185364C2780513914 @default.
- W4387185364 hasConceptScore W4387185364C33923547 @default.
- W4387185364 hasConceptScore W4387185364C34388435 @default.
- W4387185364 hasConceptScore W4387185364C41008148 @default.
- W4387185364 hasConceptScore W4387185364C43517604 @default.
- W4387185364 hasConceptScore W4387185364C55493867 @default.
- W4387185364 hasConceptScore W4387185364C80444323 @default.
- W4387185364 hasLocation W43871853641 @default.
- W4387185364 hasOpenAccess W4387185364 @default.
- W4387185364 hasPrimaryLocation W43871853641 @default.
- W4387185364 hasRelatedWork W1810116456 @default.
- W4387185364 hasRelatedWork W2357461155 @default.
- W4387185364 hasRelatedWork W2970587001 @default.
- W4387185364 hasRelatedWork W3034184944 @default.
- W4387185364 hasRelatedWork W4297273576 @default.
- W4387185364 hasRelatedWork W4300619607 @default.
- W4387185364 hasRelatedWork W4387185273 @default.
- W4387185364 hasRelatedWork W46752204 @default.
- W4387185364 hasRelatedWork W82271530 @default.
- W4387185364 hasRelatedWork W2054602309 @default.
- W4387185364 isParatext "false" @default.
- W4387185364 isRetracted "false" @default.
- W4387185364 workType "book-chapter" @default.