Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963438830> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2963438830 abstract "Abduction is a fundamental and important form of nonmonotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional abduction, where the knowledge base and the manifestation are represented by propositional formulae. The problem of deciding whether there exists an explanation has been shown to be ΣP2-complete in general. We consider variants obtained by restricting the allowed connectives in the formulae to certain sets of Boolean functions. We give a complete classification of the complexity for all considerable sets of Boolean functions. In this way, we identify easier cases, namely NP-complete and polynomial cases; and we highlight sources of intractability. Further, we address the problem of counting the explanations and draw a complete picture for the counting complexity." @default.
- W2963438830 created "2019-07-30" @default.
- W2963438830 creator A5024018030 @default.
- W2963438830 creator A5081736632 @default.
- W2963438830 creator A5090333344 @default.
- W2963438830 date "2010-01-01" @default.
- W2963438830 modified "2023-10-17" @default.
- W2963438830 title "Complexity of Propositional Abduction for Restricted Sets of Boolean Functions" @default.
- W2963438830 cites W1486060992 @default.
- W2963438830 cites W1512249528 @default.
- W2963438830 cites W1528600100 @default.
- W2963438830 cites W1536929732 @default.
- W2963438830 cites W1556423162 @default.
- W2963438830 cites W1556751392 @default.
- W2963438830 cites W1589711670 @default.
- W2963438830 cites W1607817027 @default.
- W2963438830 cites W1764662929 @default.
- W2963438830 cites W1976656121 @default.
- W2963438830 cites W1996184580 @default.
- W2963438830 cites W2021238854 @default.
- W2963438830 cites W2049316103 @default.
- W2963438830 cites W2055356006 @default.
- W2963438830 cites W2082723133 @default.
- W2963438830 cites W2091470957 @default.
- W2963438830 cites W2100657934 @default.
- W2963438830 cites W2113666441 @default.
- W2963438830 cites W2115826669 @default.
- W2963438830 cites W2124301168 @default.
- W2963438830 cites W2127845326 @default.
- W2963438830 cites W2130665499 @default.
- W2963438830 cites W2158857361 @default.
- W2963438830 cites W2158937425 @default.
- W2963438830 cites W2166566648 @default.
- W2963438830 cites W2262856765 @default.
- W2963438830 cites W2898424779 @default.
- W2963438830 hasPublicationYear "2010" @default.
- W2963438830 type Work @default.
- W2963438830 sameAs 2963438830 @default.
- W2963438830 citedByCount "9" @default.
- W2963438830 countsByYear W29634388302013 @default.
- W2963438830 countsByYear W29634388302015 @default.
- W2963438830 countsByYear W29634388302021 @default.
- W2963438830 crossrefType "proceedings-article" @default.
- W2963438830 hasAuthorship W2963438830A5024018030 @default.
- W2963438830 hasAuthorship W2963438830A5081736632 @default.
- W2963438830 hasAuthorship W2963438830A5090333344 @default.
- W2963438830 hasConcept C102993220 @default.
- W2963438830 hasConcept C11413529 @default.
- W2963438830 hasConcept C118615104 @default.
- W2963438830 hasConcept C14523651 @default.
- W2963438830 hasConcept C187455244 @default.
- W2963438830 hasConcept C199360897 @default.
- W2963438830 hasConcept C33203268 @default.
- W2963438830 hasConcept C33923547 @default.
- W2963438830 hasConcept C41008148 @default.
- W2963438830 hasConcept C69562738 @default.
- W2963438830 hasConcept C74640108 @default.
- W2963438830 hasConcept C80444323 @default.
- W2963438830 hasConceptScore W2963438830C102993220 @default.
- W2963438830 hasConceptScore W2963438830C11413529 @default.
- W2963438830 hasConceptScore W2963438830C118615104 @default.
- W2963438830 hasConceptScore W2963438830C14523651 @default.
- W2963438830 hasConceptScore W2963438830C187455244 @default.
- W2963438830 hasConceptScore W2963438830C199360897 @default.
- W2963438830 hasConceptScore W2963438830C33203268 @default.
- W2963438830 hasConceptScore W2963438830C33923547 @default.
- W2963438830 hasConceptScore W2963438830C41008148 @default.
- W2963438830 hasConceptScore W2963438830C69562738 @default.
- W2963438830 hasConceptScore W2963438830C74640108 @default.
- W2963438830 hasConceptScore W2963438830C80444323 @default.
- W2963438830 hasLocation W29634388301 @default.
- W2963438830 hasLocation W29634388302 @default.
- W2963438830 hasOpenAccess W2963438830 @default.
- W2963438830 hasPrimaryLocation W29634388301 @default.
- W2963438830 hasRelatedWork W105503775 @default.
- W2963438830 hasRelatedWork W1976656121 @default.
- W2963438830 hasRelatedWork W2003530245 @default.
- W2963438830 hasRelatedWork W2049931186 @default.
- W2963438830 hasRelatedWork W2090186445 @default.
- W2963438830 hasRelatedWork W2153912760 @default.
- W2963438830 hasRelatedWork W2544773140 @default.
- W2963438830 hasRelatedWork W2735839445 @default.
- W2963438830 hasRelatedWork W2951050752 @default.
- W2963438830 hasRelatedWork W4321153753 @default.
- W2963438830 isParatext "false" @default.
- W2963438830 isRetracted "false" @default.
- W2963438830 magId "2963438830" @default.
- W2963438830 workType "article" @default.