Keyphrases
- medical diagnosis
- abductive reasoning
- medical images
- logic programming
- background knowledge
- diagnostic reasoning
- expert systems
- medical image processing
- medical information
- medical knowledge
- belief revision
- causal networks
- cardiovascular disease
- medical diagnostic
- computer tomography
- image segmentation
- heart disease
- plan recognition
- first order logic
- predicate invention