Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy.
Anil SorathiyaAndrea BraccialiPietro LiòPublished in: BMC Bioinform. (2010)
Keyphrases
- qualitative models
- qualitative reasoning
- dynamic systems
- human immunodeficiency virus
- qualitative and quantitative
- qualitative simulation
- inference engine
- model construction
- physical systems
- model based diagnosis
- knowledge base
- qualitative description
- drug resistance
- general purpose
- knowledge representation
- knowledge acquisition
- genetic regulatory networks
- cooperative