Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964201613> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2964201613 abstract "In this paper, we study Reiter’s propositional default logic when the treewidth of a certain graph representation (semi-primal graph) of the input theory is bounded. We establish a dynamic programming algorithm on tree decompositions that decides whether a theory has a consistent stable extension (Ext). Our algorithm can even be used to enumerate all generating defaults (EnumSE) that lead to stable extensions. We show that our algorithm decides Ext in linear time in the input theory and triple exponential time in the treewidth (so-called fixed-parameter linear algorithm). Further, our algorithm solves EnumSE with a pre-computation step that is linear in the input theory and triple exponential in the treewidth followed by a linear delay to output solutions." @default.
- W2964201613 created "2019-07-30" @default.
- W2964201613 creator A5051561171 @default.
- W2964201613 creator A5056989280 @default.
- W2964201613 creator A5089442472 @default.
- W2964201613 date "2018-01-01" @default.
- W2964201613 modified "2023-10-18" @default.
- W2964201613 title "Default Logic and Bounded Treewidth" @default.
- W2964201613 cites W1772241399 @default.
- W2964201613 cites W1797840536 @default.
- W2964201613 cites W2021180976 @default.
- W2964201613 cites W2042861896 @default.
- W2964201613 cites W2284542945 @default.
- W2964201613 cites W2551391766 @default.
- W2964201613 cites W2591659253 @default.
- W2964201613 cites W2914414140 @default.
- W2964201613 cites W4229938980 @default.
- W2964201613 doi "https://doi.org/10.1007/978-3-319-77313-1_10" @default.
- W2964201613 hasPublicationYear "2018" @default.
- W2964201613 type Work @default.
- W2964201613 sameAs 2964201613 @default.
- W2964201613 citedByCount "3" @default.
- W2964201613 countsByYear W29642016132018 @default.
- W2964201613 countsByYear W29642016132019 @default.
- W2964201613 crossrefType "book-chapter" @default.
- W2964201613 hasAuthorship W2964201613A5051561171 @default.
- W2964201613 hasAuthorship W2964201613A5056989280 @default.
- W2964201613 hasAuthorship W2964201613A5089442472 @default.
- W2964201613 hasBestOaLocation W29642016132 @default.
- W2964201613 hasConcept C11413529 @default.
- W2964201613 hasConcept C118615104 @default.
- W2964201613 hasConcept C132525143 @default.
- W2964201613 hasConcept C132569581 @default.
- W2964201613 hasConcept C134306372 @default.
- W2964201613 hasConcept C203776342 @default.
- W2964201613 hasConcept C33923547 @default.
- W2964201613 hasConcept C34388435 @default.
- W2964201613 hasConcept C41008148 @default.
- W2964201613 hasConcept C43517604 @default.
- W2964201613 hasConcept C69284658 @default.
- W2964201613 hasConcept C70501317 @default.
- W2964201613 hasConcept C80444323 @default.
- W2964201613 hasConceptScore W2964201613C11413529 @default.
- W2964201613 hasConceptScore W2964201613C118615104 @default.
- W2964201613 hasConceptScore W2964201613C132525143 @default.
- W2964201613 hasConceptScore W2964201613C132569581 @default.
- W2964201613 hasConceptScore W2964201613C134306372 @default.
- W2964201613 hasConceptScore W2964201613C203776342 @default.
- W2964201613 hasConceptScore W2964201613C33923547 @default.
- W2964201613 hasConceptScore W2964201613C34388435 @default.
- W2964201613 hasConceptScore W2964201613C41008148 @default.
- W2964201613 hasConceptScore W2964201613C43517604 @default.
- W2964201613 hasConceptScore W2964201613C69284658 @default.
- W2964201613 hasConceptScore W2964201613C70501317 @default.
- W2964201613 hasConceptScore W2964201613C80444323 @default.
- W2964201613 hasLocation W29642016131 @default.
- W2964201613 hasLocation W29642016132 @default.
- W2964201613 hasOpenAccess W2964201613 @default.
- W2964201613 hasPrimaryLocation W29642016131 @default.
- W2964201613 hasRelatedWork W1493923326 @default.
- W2964201613 hasRelatedWork W1530056612 @default.
- W2964201613 hasRelatedWork W1576356800 @default.
- W2964201613 hasRelatedWork W1577096194 @default.
- W2964201613 hasRelatedWork W1577642690 @default.
- W2964201613 hasRelatedWork W1876875653 @default.
- W2964201613 hasRelatedWork W1956764718 @default.
- W2964201613 hasRelatedWork W2003857631 @default.
- W2964201613 hasRelatedWork W2046346171 @default.
- W2964201613 hasRelatedWork W2113132662 @default.
- W2964201613 hasRelatedWork W2229623334 @default.
- W2964201613 hasRelatedWork W2280881486 @default.
- W2964201613 hasRelatedWork W2401148164 @default.
- W2964201613 hasRelatedWork W2582211829 @default.
- W2964201613 hasRelatedWork W2594336677 @default.
- W2964201613 hasRelatedWork W2951753454 @default.
- W2964201613 hasRelatedWork W2962970721 @default.
- W2964201613 hasRelatedWork W2992820943 @default.
- W2964201613 hasRelatedWork W3099252540 @default.
- W2964201613 hasRelatedWork W3200143297 @default.
- W2964201613 isParatext "false" @default.
- W2964201613 isRetracted "false" @default.
- W2964201613 magId "2964201613" @default.
- W2964201613 workType "book-chapter" @default.