Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385764377> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4385764377 abstract "Boolean functions and their representation through logics, circuits, machine learning classifiers, or binary decision diagrams (BDDs) play a central role in the design and analysis of computing systems. Quantifying the relative impact of variables on the truth value by means of importance values can provide useful insights to steer system design and debugging. In this paper, we introduce a uniform framework for reasoning about such values, relying on a generic notion of importance value functions (IVFs). The class of IVFs is defined by axioms motivated from several notions of importance values introduced in the literature, including Ben-Or and Linial’s influence and Chockler, Halpern, and Kupferman’s notion of responsibility and blame. We establish a connection between IVFs and game-theoretic concepts such as Shapley and Banzhaf values, both of which measure the impact of players on outcomes in cooperative games. Exploiting BDD-based symbolic methods and projected model counting, we devise and evaluate practical computation schemes for IVFs." @default.
- W4385764377 created "2023-08-12" @default.
- W4385764377 creator A5003273762 @default.
- W4385764377 creator A5054154442 @default.
- W4385764377 creator A5072653488 @default.
- W4385764377 creator A5091344667 @default.
- W4385764377 date "2023-08-01" @default.
- W4385764377 modified "2023-10-03" @default.
- W4385764377 title "A Unifying Formal Approach to Importance Values in Boolean Functions" @default.
- W4385764377 doi "https://doi.org/10.24963/ijcai.2023/304" @default.
- W4385764377 hasPublicationYear "2023" @default.
- W4385764377 type Work @default.
- W4385764377 citedByCount "0" @default.
- W4385764377 crossrefType "proceedings-article" @default.
- W4385764377 hasAuthorship W4385764377A5003273762 @default.
- W4385764377 hasAuthorship W4385764377A5054154442 @default.
- W4385764377 hasAuthorship W4385764377A5072653488 @default.
- W4385764377 hasAuthorship W4385764377A5091344667 @default.
- W4385764377 hasBestOaLocation W43857643771 @default.
- W4385764377 hasConcept C11413529 @default.
- W4385764377 hasConcept C187455244 @default.
- W4385764377 hasConcept C3309909 @default.
- W4385764377 hasConcept C33923547 @default.
- W4385764377 hasConcept C41008148 @default.
- W4385764377 hasConcept C80444323 @default.
- W4385764377 hasConceptScore W4385764377C11413529 @default.
- W4385764377 hasConceptScore W4385764377C187455244 @default.
- W4385764377 hasConceptScore W4385764377C3309909 @default.
- W4385764377 hasConceptScore W4385764377C33923547 @default.
- W4385764377 hasConceptScore W4385764377C41008148 @default.
- W4385764377 hasConceptScore W4385764377C80444323 @default.
- W4385764377 hasLocation W43857643771 @default.
- W4385764377 hasLocation W43857643772 @default.
- W4385764377 hasLocation W43857643773 @default.
- W4385764377 hasLocation W43857643774 @default.
- W4385764377 hasOpenAccess W4385764377 @default.
- W4385764377 hasPrimaryLocation W43857643771 @default.
- W4385764377 hasRelatedWork W1999396918 @default.
- W4385764377 hasRelatedWork W2096076317 @default.
- W4385764377 hasRelatedWork W2166755998 @default.
- W4385764377 hasRelatedWork W2295542068 @default.
- W4385764377 hasRelatedWork W2406619057 @default.
- W4385764377 hasRelatedWork W3014984314 @default.
- W4385764377 hasRelatedWork W3037299385 @default.
- W4385764377 hasRelatedWork W4231842458 @default.
- W4385764377 hasRelatedWork W4309131146 @default.
- W4385764377 hasRelatedWork W778194052 @default.
- W4385764377 isParatext "false" @default.
- W4385764377 isRetracted "false" @default.
- W4385764377 workType "article" @default.