Matches in SemOpenAlex for { <https://semopenalex.org/work/W1815595989> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1815595989 abstract "Backdoors of answer-set programs are sets of atoms that represent clever reasoning shortcuts through the search space. Assignments to backdoor atoms reduce the given program to several programs that belong to a tractable target class. Previous research has considered target classes based on notions of acyclicity where various types of cycles (good and bad cycles) are excluded from graph representations of programs. We generalize the target classes by taking the parity of the number of negative edges on bad cycles into account and consider backdoors for such classes. We establish new hardness results and non-uniform polynomial-time tractability relative to directed or undirected cycles." @default.
- W1815595989 created "2016-06-24" @default.
- W1815595989 creator A5089442472 @default.
- W1815595989 date "2012-01-01" @default.
- W1815595989 modified "2023-09-23" @default.
- W1815595989 title "The Good, the Bad, and the Odd: Cycles in Answer-Set Programs" @default.
- W1815595989 cites W1598262541 @default.
- W1815595989 cites W1639901403 @default.
- W1815595989 cites W1968513265 @default.
- W1815595989 cites W2007804392 @default.
- W1815595989 cites W2016743899 @default.
- W1815595989 cites W2064153357 @default.
- W1815595989 cites W2076698873 @default.
- W1815595989 cites W2077665273 @default.
- W1815595989 cites W2111353076 @default.
- W1815595989 cites W2132745831 @default.
- W1815595989 cites W4292230561 @default.
- W1815595989 cites W1561243489 @default.
- W1815595989 doi "https://doi.org/10.1007/978-3-642-31467-4_6" @default.
- W1815595989 hasPublicationYear "2012" @default.
- W1815595989 type Work @default.
- W1815595989 sameAs 1815595989 @default.
- W1815595989 citedByCount "1" @default.
- W1815595989 countsByYear W18155959892012 @default.
- W1815595989 crossrefType "book-chapter" @default.
- W1815595989 hasAuthorship W1815595989A5089442472 @default.
- W1815595989 hasBestOaLocation W18155959892 @default.
- W1815595989 hasConcept C109214941 @default.
- W1815595989 hasConcept C114614502 @default.
- W1815595989 hasConcept C118615104 @default.
- W1815595989 hasConcept C121332964 @default.
- W1815595989 hasConcept C132525143 @default.
- W1815595989 hasConcept C154945302 @default.
- W1815595989 hasConcept C177264268 @default.
- W1815595989 hasConcept C199360897 @default.
- W1815595989 hasConcept C2777151079 @default.
- W1815595989 hasConcept C2777212361 @default.
- W1815595989 hasConcept C2781045450 @default.
- W1815595989 hasConcept C3018234147 @default.
- W1815595989 hasConcept C33923547 @default.
- W1815595989 hasConcept C38652104 @default.
- W1815595989 hasConcept C41008148 @default.
- W1815595989 hasConcept C80444323 @default.
- W1815595989 hasConceptScore W1815595989C109214941 @default.
- W1815595989 hasConceptScore W1815595989C114614502 @default.
- W1815595989 hasConceptScore W1815595989C118615104 @default.
- W1815595989 hasConceptScore W1815595989C121332964 @default.
- W1815595989 hasConceptScore W1815595989C132525143 @default.
- W1815595989 hasConceptScore W1815595989C154945302 @default.
- W1815595989 hasConceptScore W1815595989C177264268 @default.
- W1815595989 hasConceptScore W1815595989C199360897 @default.
- W1815595989 hasConceptScore W1815595989C2777151079 @default.
- W1815595989 hasConceptScore W1815595989C2777212361 @default.
- W1815595989 hasConceptScore W1815595989C2781045450 @default.
- W1815595989 hasConceptScore W1815595989C3018234147 @default.
- W1815595989 hasConceptScore W1815595989C33923547 @default.
- W1815595989 hasConceptScore W1815595989C38652104 @default.
- W1815595989 hasConceptScore W1815595989C41008148 @default.
- W1815595989 hasConceptScore W1815595989C80444323 @default.
- W1815595989 hasLocation W18155959891 @default.
- W1815595989 hasLocation W18155959892 @default.
- W1815595989 hasLocation W18155959893 @default.
- W1815595989 hasOpenAccess W1815595989 @default.
- W1815595989 hasPrimaryLocation W18155959891 @default.
- W1815595989 hasRelatedWork W1484108514 @default.
- W1815595989 hasRelatedWork W1488953105 @default.
- W1815595989 hasRelatedWork W1590977969 @default.
- W1815595989 hasRelatedWork W1591872149 @default.
- W1815595989 hasRelatedWork W1600428721 @default.
- W1815595989 hasRelatedWork W2025671483 @default.
- W1815595989 hasRelatedWork W2030827911 @default.
- W1815595989 hasRelatedWork W2165223420 @default.
- W1815595989 hasRelatedWork W2182351881 @default.
- W1815595989 hasRelatedWork W2394773788 @default.
- W1815595989 hasRelatedWork W2402235836 @default.
- W1815595989 hasRelatedWork W2464591762 @default.
- W1815595989 hasRelatedWork W25732316 @default.
- W1815595989 hasRelatedWork W2734482964 @default.
- W1815595989 hasRelatedWork W2949958051 @default.
- W1815595989 hasRelatedWork W2950314640 @default.
- W1815595989 hasRelatedWork W2951053368 @default.
- W1815595989 hasRelatedWork W3029378864 @default.
- W1815595989 hasRelatedWork W1515473514 @default.
- W1815595989 hasRelatedWork W3170665465 @default.
- W1815595989 isParatext "false" @default.
- W1815595989 isRetracted "false" @default.
- W1815595989 magId "1815595989" @default.
- W1815595989 workType "book-chapter" @default.