Frameworks for Reasoning about Agent Based Systems.
Leon J. OsterweilLori A. ClarkePublished in: Agents Workshop on Infrastructure for Multi-Agent Systems (2000)
Keyphrases
- agent based systems
- agent systems
- multi agent systems
- distributed systems
- agent technology
- multiagent systems
- dynamic environments
- reference architecture
- software agents
- formal theory
- decision support system
- spatial reasoning
- qualitative reasoning
- neural network
- genetic algorithm
- databases
- database
- complete axiomatization
- control system
- cooperative
- reinforcement learning
- information systems
- data sets
- real time