Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285602009> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4285602009 abstract "We consider the problem Enum·IP of enumerating prime implicants of Boolean functions represented by decision decomposable negation normal form (dec-DNNF) circuits. We study Enum·IP from dec-DNNF within the framework of enumeration complexity and prove that it is in OutputP, the class of output polynomial enumeration problems, and more precisely in IncP, the class of polynomial incremental time enumeration problems. We then focus on two closely related, but seemingly harder, enumeration problems where further restrictions are put on the prime implicants to be generated. In the first problem, one is only interested in prime implicants representing subset-minimal abductive explanations, a notion much investigated in AI for more than thirty years. In the second problem, the target is prime implicants representing sufficient reasons, a recent yet important notion in the emerging field of eXplainable AI, since they aim to explain predictions achieved by machine learning classifiers. We provide evidence showing that enumerating specific prime implicants corresponding to subset-minimal abductive explanations or to sufficient reasons is not in OutputP." @default.
- W4285602009 created "2022-07-16" @default.
- W4285602009 creator A5040136820 @default.
- W4285602009 creator A5068440199 @default.
- W4285602009 date "2022-07-01" @default.
- W4285602009 modified "2023-10-18" @default.
- W4285602009 title "On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits" @default.
- W4285602009 doi "https://doi.org/10.24963/ijcai.2022/355" @default.
- W4285602009 hasPublicationYear "2022" @default.
- W4285602009 type Work @default.
- W4285602009 citedByCount "0" @default.
- W4285602009 crossrefType "proceedings-article" @default.
- W4285602009 hasAuthorship W4285602009A5040136820 @default.
- W4285602009 hasAuthorship W4285602009A5068440199 @default.
- W4285602009 hasBestOaLocation W42856020091 @default.
- W4285602009 hasConcept C102487863 @default.
- W4285602009 hasConcept C11413529 @default.
- W4285602009 hasConcept C114614502 @default.
- W4285602009 hasConcept C118615104 @default.
- W4285602009 hasConcept C154945302 @default.
- W4285602009 hasConcept C156340839 @default.
- W4285602009 hasConcept C158465420 @default.
- W4285602009 hasConcept C184992742 @default.
- W4285602009 hasConcept C187455244 @default.
- W4285602009 hasConcept C2777212361 @default.
- W4285602009 hasConcept C311688 @default.
- W4285602009 hasConcept C33923547 @default.
- W4285602009 hasConcept C41008148 @default.
- W4285602009 hasConcept C80444323 @default.
- W4285602009 hasConcept C94375191 @default.
- W4285602009 hasConceptScore W4285602009C102487863 @default.
- W4285602009 hasConceptScore W4285602009C11413529 @default.
- W4285602009 hasConceptScore W4285602009C114614502 @default.
- W4285602009 hasConceptScore W4285602009C118615104 @default.
- W4285602009 hasConceptScore W4285602009C154945302 @default.
- W4285602009 hasConceptScore W4285602009C156340839 @default.
- W4285602009 hasConceptScore W4285602009C158465420 @default.
- W4285602009 hasConceptScore W4285602009C184992742 @default.
- W4285602009 hasConceptScore W4285602009C187455244 @default.
- W4285602009 hasConceptScore W4285602009C2777212361 @default.
- W4285602009 hasConceptScore W4285602009C311688 @default.
- W4285602009 hasConceptScore W4285602009C33923547 @default.
- W4285602009 hasConceptScore W4285602009C41008148 @default.
- W4285602009 hasConceptScore W4285602009C80444323 @default.
- W4285602009 hasConceptScore W4285602009C94375191 @default.
- W4285602009 hasLocation W42856020091 @default.
- W4285602009 hasLocation W42856020092 @default.
- W4285602009 hasOpenAccess W4285602009 @default.
- W4285602009 hasPrimaryLocation W42856020091 @default.
- W4285602009 hasRelatedWork W1553819740 @default.
- W4285602009 hasRelatedWork W1967781982 @default.
- W4285602009 hasRelatedWork W1978714834 @default.
- W4285602009 hasRelatedWork W1978916005 @default.
- W4285602009 hasRelatedWork W1996070840 @default.
- W4285602009 hasRelatedWork W2001487611 @default.
- W4285602009 hasRelatedWork W2012022843 @default.
- W4285602009 hasRelatedWork W2020701847 @default.
- W4285602009 hasRelatedWork W2032783155 @default.
- W4285602009 hasRelatedWork W2096560759 @default.
- W4285602009 isParatext "false" @default.
- W4285602009 isRetracted "false" @default.
- W4285602009 workType "article" @default.