Probable consistency checking for sets of propositional clauses

DOI10.1007/B11792MaRDI QIDQ5900650zbMATH OpenOpenAlexFDO

Authors Anthony Hunter

Publication date 6 April 2010

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

Full work available at URL https://doi.org/10.1007/b11792

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A linear programming approach to reasoning about probabilities
• Information from inconsistent knowledge: a probability logic approach
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Inconsistency as qualified truth: a probability logic approach
• PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

Cited in

(2)

• Inconsistency check of a set of clauses using Petri net reductions
• PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

This page was built for publication: Probable consistency checking for sets of propositional clauses

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