The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach

DOI10.1007/978-3-642-16242-8_31zbMath1306.68205OpenAlexW1568509943MaRDI QIDQ4933323

David Picado Muiño, Bijan Parsia, Pavel Klinov

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_31

Mathematics Subject Classification ID

Medical applications (general) (92C50) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (4)

A probabilistic interpretation of the medical expert system CADIAG-2 ⋮ Probabilistic satisfiability: algorithms with the presence and absence of a phase transition ⋮ Measuring and repairing inconsistency in probabilistic knowledge bases ⋮ A Hybrid Method for Probabilistic Satisfiability

This page was built for publication: The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach