Proving properties of open agent systems.

Frank Guerin Jeremy Pitt

Published in: AAMAS (2002)

Keyphrases

agent systems
dynamic environments
intelligent agents
agent technology
agent oriented
multi agent systems
intelligent virtual agents
database
agent based systems
artificial intelligence
information systems
decision making
expert systems
agent programming