scientific article; zbMATH DE number 6902558

DOI10.3233/978-1-61499-672-9-991zbMATH Open1403.68286MaRDI QIDQ4576231FDOQ4576231

Authors: Said Jabbour, Lakhdar Sais 

Publication date: 12 July 2018

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (10)

• Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
• Measuring inconsistency with many-valued logics
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Distance-based measures of inconsistency
• Measuring inconsistency through minimal proofs
• On the complexity of inconsistency measurement
• Computing inconsistency measure based on paraconsistent semantics
• Handling and measuring inconsistency in non-monotonic logics
• 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)