Critical Agents Supporting Interactive Theorem Proving.
Christoph BenzmüllerVolker SorgePublished in: EPIA (1999)
Keyphrases
- multi agent systems
- interactive theorem proving
- multi agent
- multiagent systems
- multiple agents
- cooperative
- intelligent agents
- artificial agents
- software agents
- mobile agents
- resource allocation
- multi agent environment
- agent systems
- distributed agents
- inter agent
- resource bounded
- action selection
- decision theoretic
- artificial intelligence
- data sets
- dynamic logic
- cooperative multiagent systems
- bounded rationality
- agent technology
- social welfare
- agent behavior
- coalition formation
- autonomous agents
- learning agents
- multi agent simulation
- decision making
- agent cooperation
- agent based simulation
- learning algorithm