About the incremental validation of first-order stratified knowledge-based decision-support systems.
Éric GrégoireBertrand MazurePublished in: Inf. Sci. (2002)
Keyphrases
- decision support system
- expert systems
- decision support
- decision makers
- decision making
- first order logic
- case based reasoning
- data warehouse
- management system
- higher order
- medical decision support systems
- horn clauses
- artificial intelligence
- knowledge management
- knowledge based systems
- decision process
- software engineering
- medical images
- knowledge representation
- learning environment
- case study
- knowledge base
- clinical trials
- business intelligence systems