SyLAR - The System for Logic and Automated Reasoning for Situation Management Decision Support Systems.
Erika MatsakTarmo LehtpuuPeeter LorentsPublished in: KES-IDT (2015)
Keyphrases
- automated reasoning
- decision support system
- decision support
- management system
- decision making
- reasoning systems
- theorem proving
- knowledge representation
- probabilistic reasoning
- decision makers
- proof theory
- theorem prover
- management information systems
- expert systems
- reasoning tasks
- emergency management
- data warehouse
- knowledge representation and reasoning
- medical decision support systems
- decision process
- case based reasoning
- logical implication
- support systems
- knowledge base
- knowledge management
- bayesian networks
- clinical practice guidelines
- risk management
- clinical trials
- database
- business intelligence
- data model
- data mining
- real world