FRINK Linked Data Fragments server

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

• W3208247616 abstract "Epistemic logic programs (ELPs) are a popular generalization of standard Answer Set Programming (ASP) providing means for reasoning over answer sets within the language. This richer formalism comes at the price of higher computational complexity reaching up to the fourth level of the polynomial hierarchy. However, in contrast to standard ASP, dedicated investigations towards tractability have not been undertaken yet. In this paper, we give first results in this direction and show that central ELP problems can be solved in linear time for ELPs exhibiting structural properties in terms of bounded treewidth. We also provide a full dynamic programming algorithm that adheres to these bounds. Finally, we show that applying treewidth to a novel dependency structure---given in terms of epistemic literals---allows to bound the number of ASP solver calls in typical ELP solving procedures." @default.
• W3208247616 created "2021-11-08" @default.
• W3208247616 creator A5050387054 @default.
• W3208247616 creator A5056989280 @default.
• W3208247616 creator A5006053030 @default.
• W3208247616 date "2020-01-01" @default.
• W3208247616 modified "2023-09-25" @default.
• W3208247616 title "Structural Decompositions of Epistemic Logic Programs." @default.
• W3208247616 cites W2345230773 @default.
• W3208247616 cites W2808399616 @default.
• W3208247616 cites W2913952264 @default.
• W3208247616 cites W2963311843 @default.
• W3208247616 cites W2963805305 @default.
• W3208247616 cites W2996917877 @default.
• W3208247616 cites W3030023697 @default.
• W3208247616 hasPublicationYear "2020" @default.
• W3208247616 type Work @default.
• W3208247616 sameAs 3208247616 @default.
• W3208247616 citedByCount "0" @default.
• W3208247616 crossrefType "proceedings-article" @default.
• W3208247616 hasAuthorship W3208247616A5006053030 @default.
• W3208247616 hasAuthorship W3208247616A5050387054 @default.
• W3208247616 hasAuthorship W3208247616A5056989280 @default.
• W3208247616 hasConcept C102993220 @default.
• W3208247616 hasConcept C107247716 @default.
• W3208247616 hasConcept C11413529 @default.
• W3208247616 hasConcept C128838566 @default.
• W3208247616 hasConcept C132525143 @default.
• W3208247616 hasConcept C132569581 @default.
• W3208247616 hasConcept C134306372 @default.
• W3208247616 hasConcept C142362112 @default.
• W3208247616 hasConcept C146206909 @default.
• W3208247616 hasConcept C148230440 @default.
• W3208247616 hasConcept C153349607 @default.
• W3208247616 hasConcept C179799912 @default.
• W3208247616 hasConcept C182620335 @default.
• W3208247616 hasConcept C199360897 @default.
• W3208247616 hasConcept C200415742 @default.
• W3208247616 hasConcept C203659156 @default.
• W3208247616 hasConcept C203776342 @default.
• W3208247616 hasConcept C2776013622 @default.
• W3208247616 hasConcept C2778770139 @default.
• W3208247616 hasConcept C33923547 @default.
• W3208247616 hasConcept C34165917 @default.
• W3208247616 hasConcept C34388435 @default.
• W3208247616 hasConcept C41008148 @default.
• W3208247616 hasConcept C43517604 @default.
• W3208247616 hasConcept C50033165 @default.
• W3208247616 hasConcept C558565934 @default.
• W3208247616 hasConcept C73301696 @default.
• W3208247616 hasConcept C80444323 @default.
• W3208247616 hasConceptScore W3208247616C102993220 @default.
• W3208247616 hasConceptScore W3208247616C107247716 @default.
• W3208247616 hasConceptScore W3208247616C11413529 @default.
• W3208247616 hasConceptScore W3208247616C128838566 @default.
• W3208247616 hasConceptScore W3208247616C132525143 @default.
• W3208247616 hasConceptScore W3208247616C132569581 @default.
• W3208247616 hasConceptScore W3208247616C134306372 @default.
• W3208247616 hasConceptScore W3208247616C142362112 @default.
• W3208247616 hasConceptScore W3208247616C146206909 @default.
• W3208247616 hasConceptScore W3208247616C148230440 @default.
• W3208247616 hasConceptScore W3208247616C153349607 @default.
• W3208247616 hasConceptScore W3208247616C179799912 @default.
• W3208247616 hasConceptScore W3208247616C182620335 @default.
• W3208247616 hasConceptScore W3208247616C199360897 @default.
• W3208247616 hasConceptScore W3208247616C200415742 @default.
• W3208247616 hasConceptScore W3208247616C203659156 @default.
• W3208247616 hasConceptScore W3208247616C203776342 @default.
• W3208247616 hasConceptScore W3208247616C2776013622 @default.
• W3208247616 hasConceptScore W3208247616C2778770139 @default.
• W3208247616 hasConceptScore W3208247616C33923547 @default.
• W3208247616 hasConceptScore W3208247616C34165917 @default.
• W3208247616 hasConceptScore W3208247616C34388435 @default.
• W3208247616 hasConceptScore W3208247616C41008148 @default.
• W3208247616 hasConceptScore W3208247616C43517604 @default.
• W3208247616 hasConceptScore W3208247616C50033165 @default.
• W3208247616 hasConceptScore W3208247616C558565934 @default.
• W3208247616 hasConceptScore W3208247616C73301696 @default.
• W3208247616 hasConceptScore W3208247616C80444323 @default.
• W3208247616 hasLocation W32082476161 @default.
• W3208247616 hasOpenAccess W3208247616 @default.
• W3208247616 hasPrimaryLocation W32082476161 @default.
• W3208247616 hasRelatedWork W147503154 @default.
• W3208247616 hasRelatedWork W1568597838 @default.
• W3208247616 hasRelatedWork W1576608592 @default.
• W3208247616 hasRelatedWork W1605651526 @default.
• W3208247616 hasRelatedWork W2074272702 @default.
• W3208247616 hasRelatedWork W2100622236 @default.
• W3208247616 hasRelatedWork W2106500031 @default.
• W3208247616 hasRelatedWork W2153361264 @default.
• W3208247616 hasRelatedWork W22612880 @default.
• W3208247616 hasRelatedWork W2281752977 @default.
• W3208247616 hasRelatedWork W2283510762 @default.
• W3208247616 hasRelatedWork W2889187308 @default.
• W3208247616 hasRelatedWork W2970969247 @default.
• W3208247616 hasRelatedWork W2996917877 @default.
• W3208247616 hasRelatedWork W3103318063 @default.
• W3208247616 hasRelatedWork W3104110719 @default.
• W3208247616 hasRelatedWork W3123850752 @default.
• W3208247616 hasRelatedWork W3188547008 @default.

• next