A Mixed Approach for Unified Logic Diagnosis.
Alexandre RoussetAlberto BosioPatrick GirardChristian LandraultSerge PravossoudovitchArnaud VirazelPublished in: DDECS (2007)
Keyphrases
- causal reasoning
- modal logic
- medical diagnosis
- logic programming
- model based diagnosis
- fault diagnosis
- automated reasoning
- diagnostic reasoning
- automatic diagnosis
- classical logic
- predicate logic
- proof theory
- abductive reasoning
- formal theory
- database
- multiple faults
- sound and complete axiomatization
- attention deficit hyperactivity disorder
- medical diagnostic
- digital circuits
- clinically relevant
- disease diagnosis
- medical images
- expert systems
- information systems
- data mining