Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.
Francesco BelardinelliAlessio LomuscioJakub MichaliszynPublished in: ECAI (2016)
Keyphrases
- multi agent systems
- inter agent
- multi agent
- agent technology
- autonomous agents
- high level
- agent oriented
- cooperative
- complex systems
- intelligent agents
- bounded model checking
- game theory
- first order logic
- agent communication
- software agents
- agent architecture
- agent based modeling
- coalition formation
- negotiation model
- cognitive agents
- decision theoretic planning
- agent based systems
- computational logic
- artificial intelligence
- agent oriented software engineering
- refinement process
- data abstraction
- agent systems
- information retrieval
- case study
- resource allocation
- software development