Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa".
Lilian BurdyDavid DéharbeÉtienne PrunPublished in: F-IDE@FM (2016)
Keyphrases
- multi agent systems
- multi agent
- semi automatic
- autonomous agents
- intelligent agents
- multiple agents
- multiagent systems
- cooperative
- fully automatic
- dynamic environments
- artificial agents
- software agents
- theorem proving
- agent model
- incomplete information
- decision theoretic
- bounded rationality
- multi agent planning
- decision making
- coalition formation
- complex environments
- agent architecture
- data sets
- agent based simulation
- resource allocation
- resource bounded
- linear logic
- search algorithm
- interacting agents