Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management.
Mark HoogendoornMichel C. A. KleinZulfiqar Ali MemonJan TreurPublished in: HEALTHINF (1) (2008)
Keyphrases
- intelligent agents
- formal analysis
- multi agent systems
- distributed environment
- multi agent
- agent architecture
- artificial intelligence
- building intelligent
- agent systems
- formal methods
- intelligent systems
- information systems
- software agents
- intelligent software agents
- artificial agents
- knowledge management
- agent technology
- mobile agents
- agent interactions
- artificial neural networks
- human users
- neural network
- knowledge based systems
- distributed artificial intelligence
- data mining