Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers

DOI10.1007/978-3-642-39091-3_33zbMATH Open1390.68628OpenAlexW96611593MaRDI QIDQ5326437FDOQ5326437

Authors: Yue Ma, Qingfeng Chang 

Publication date: 5 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39091-3_33

Recommendations

• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• scientific article; zbMATH DE number 6902558
• On an MCS-based inconsistency measure
• Computing inconsistency measure based on paraconsistent semantics
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

Mathematics Subject Classification ID

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

This page was built for publication: Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers

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