Formal reasoning about resilient goal-oriented multi-agent systems.
Linas LaibinisInna PereverzevaElena TroubitsynaPublished in: Sci. Comput. Program. (2017)
Keyphrases
- goal oriented
- multi agent systems
- computational logic
- process oriented
- agent systems
- game theory
- agent architecture
- coalition formation
- autonomous agents
- spatial reasoning
- formal specification
- cognitive agents
- formal methods
- requirements analysis
- intelligent agents
- authoring environment
- cooperative
- agent platform
- formal theory
- multi agent
- qualitative reasoning
- data mining
- distributed problem solving
- formal model
- multiagent systems
- data analysis
- inter agent