Systems of agents controlled by logical programs: Complexity of verification.
Mars K. ValievMichael I. DekhtyarAlexander Ja. DikovskyPublished in: Program. Comput. Softw. (2009)
Keyphrases
- multi agent
- multiagent systems
- multi agent systems
- management system
- intelligent agents
- dynamic logic
- autonomous agents
- artificial agents
- open systems
- space complexity
- hardware designs
- interacting agents
- decentralized control
- distributed search
- logical framework
- agent systems
- computer programs
- communication channels
- decision problems
- model checking
- mobile agents
- worst case
- expert systems
- cooperative