scientific article; zbMATH DE number 6902558

DOI10.3233/978-1-61499-672-9-991MaRDI QIDQ4576231zbMATH OpenFDO

Authors Said Jabbour, Lakhdar Sais

Publication date 12 July 2018

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Approaches to measuring inconsistency for stratified knowledge bases
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring inconsistency with constraints for propositional knowledge bases
• Detecting inconsistencies in large first-order knowledge bases
• Analysing inconsistent first-order knowledgebases

Cited in

(21)

• Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Measuring inconsistency with many-valued logics
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Inconsistency measurement in \(\mathrm{LTL_f}\) based on minimal inconsistent sets and minimal correction sets
• Inconsistency measuring over multisets of formulas
• Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
• On measuring inconsistency using maximal consistent sets
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Distance-based measures of inconsistency
• Measuring inconsistency through minimal proofs
• On the complexity of inconsistency measurement
• A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
• Computing inconsistency measure based on paraconsistent semantics
• Analysing inconsistent information using distance-based measures
• Quantifying conflicts in propositional logic through prime implicates
• Handling and measuring inconsistency in non-monotonic logics
• Approaches to measuring inconsistency for stratified knowledge bases
• Measuring inconsistency through subformula forgetting
• Computing MUS-based inconsistency measures
• Strong inconsistency

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576231)