Diagnostic reasoning with A-Prolog.
Marcello BalducciniMichael GelfondPublished in: Theory Pract. Log. Program. (2003)
Keyphrases
- diagnostic reasoning
- medical diagnosis
- reasoning systems
- model based diagnosis
- expert systems
- logic programming
- bayesian networks
- influence diagrams
- programming language
- uncertain knowledge
- prolog programs
- diagnostic problem solving
- knowledge representation
- knowledge base
- belief networks
- sensitivity analysis
- medical images