Verification of the Effect of Introducing an Agent in a Prediction Market.
Takuya YamamotoTakayuki ItoPublished in: PRIMA Workshops (2009)
Keyphrases
- multi agent
- multi agent systems
- multiagent systems
- multiple agents
- intelligent agents
- mobile agents
- autonomous agents
- face verification
- agent architecture
- model checking
- artificial agents
- agent interactions
- formal verification
- dynamic environments
- artificial intelligence
- real time
- pedagogical agents
- knowledge base
- learning capabilities
- partial information
- decision making
- genetic algorithm