Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers

DOI10.1007/978-3-642-39091-3_33MaRDI QIDQ5326437zbMATH OpenOpenAlexFDO

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

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)

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

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)