Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387185498> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4387185498 abstract "Inconsistency measurement aims at obtaining a quantitative assessment of the level of inconsistency in knowledge bases. While having such a quantitative assessment is beneficial in various settings, inconsistency measurement of propositional knowledge bases is under most existing measures a significantly challenging computational task. In this work, we harness Boolean satisfiability (SAT) based solving techniques for developing practical inconsistency measurement algorithms. Our algorithms—some of which constitute, to the best of our knowledge, the first practical approaches for specific inconsistency measures—are based on using natural choices of SAT-based techniques for the individual inconsistency measures, ranging from direct maximum satisfiability (MaxSAT) encodings to MaxSAT-based column generation techniques making use of incremental computations. We show through an extensive empirical evaluation that our approaches scale well in practice and significantly outperform recently-proposed answer set programming approaches to inconsistency measurement." @default.
- W4387185498 created "2023-09-30" @default.
- W4387185498 creator A5050562827 @default.
- W4387185498 creator A5065498907 @default.
- W4387185498 creator A5081120128 @default.
- W4387185498 creator A5089559958 @default.
- W4387185498 date "2023-09-28" @default.
- W4387185498 modified "2023-09-30" @default.
- W4387185498 title "MaxSAT-Based Inconsistency Measurement" @default.
- W4387185498 doi "https://doi.org/10.3233/faia230464" @default.
- W4387185498 hasPublicationYear "2023" @default.
- W4387185498 type Work @default.
- W4387185498 citedByCount "0" @default.
- W4387185498 crossrefType "book-chapter" @default.
- W4387185498 hasAuthorship W4387185498A5050562827 @default.
- W4387185498 hasAuthorship W4387185498A5065498907 @default.
- W4387185498 hasAuthorship W4387185498A5081120128 @default.
- W4387185498 hasAuthorship W4387185498A5089559958 @default.
- W4387185498 hasBestOaLocation W43871854981 @default.
- W4387185498 hasConcept C111797529 @default.
- W4387185498 hasConcept C11413529 @default.
- W4387185498 hasConcept C119857082 @default.
- W4387185498 hasConcept C168773769 @default.
- W4387185498 hasConcept C177264268 @default.
- W4387185498 hasConcept C182620335 @default.
- W4387185498 hasConcept C187455244 @default.
- W4387185498 hasConcept C199360897 @default.
- W4387185498 hasConcept C41008148 @default.
- W4387185498 hasConcept C80444323 @default.
- W4387185498 hasConceptScore W4387185498C111797529 @default.
- W4387185498 hasConceptScore W4387185498C11413529 @default.
- W4387185498 hasConceptScore W4387185498C119857082 @default.
- W4387185498 hasConceptScore W4387185498C168773769 @default.
- W4387185498 hasConceptScore W4387185498C177264268 @default.
- W4387185498 hasConceptScore W4387185498C182620335 @default.
- W4387185498 hasConceptScore W4387185498C187455244 @default.
- W4387185498 hasConceptScore W4387185498C199360897 @default.
- W4387185498 hasConceptScore W4387185498C41008148 @default.
- W4387185498 hasConceptScore W4387185498C80444323 @default.
- W4387185498 hasLocation W43871854981 @default.
- W4387185498 hasOpenAccess W4387185498 @default.
- W4387185498 hasPrimaryLocation W43871854981 @default.
- W4387185498 hasRelatedWork W1581142181 @default.
- W4387185498 hasRelatedWork W2165675194 @default.
- W4387185498 hasRelatedWork W2212155158 @default.
- W4387185498 hasRelatedWork W2304178603 @default.
- W4387185498 hasRelatedWork W2544773140 @default.
- W4387185498 hasRelatedWork W2580558593 @default.
- W4387185498 hasRelatedWork W2898772359 @default.
- W4387185498 hasRelatedWork W3101458312 @default.
- W4387185498 hasRelatedWork W85615882 @default.
- W4387185498 hasRelatedWork W91024833 @default.
- W4387185498 isParatext "false" @default.
- W4387185498 isRetracted "false" @default.
- W4387185498 workType "book-chapter" @default.