Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving.
Jens BuschWolfgang BanzhafPublished in: ICMAS (2000)
Keyphrases
- automated theorem proving
- multi agent systems
- theorem prover
- theorem proving
- answer set programming
- case study
- agent architecture
- classical logic
- multi agent
- test bed
- cooperative
- real world
- game theory
- coalition formation
- computational logic
- multi agent reinforcement learning
- agent technology
- autonomous agents
- directed acyclic graph
- query language
- agent systems
- agent oriented
- inference rules
- software agents
- first order logic