Formal specification and analysis of intelligent agents for model-based medicine usage management.
Mark HoogendoornMichel C. A. KleinZulfiqar Ali MemonJan TreurPublished in: Comput. Biol. Medicine (2013)
Keyphrases
- intelligent agents
- formal specification
- intelligent systems
- multi agent
- model checking
- object oriented design
- multi agent systems
- mental states
- distributed environment
- agent architecture
- human users
- building intelligent
- data mining
- specification language
- software agents
- fine grained
- high level
- case study
- decision making