Computational logics and verification techniques of multi-agent commitments: survey.
Mohamed El-MenshawyJamal BentaharWarda El KholyPinar YolumRachida DssouliPublished in: Knowl. Eng. Rev. (2015)
Keyphrases
- multi agent
- multiagent systems
- expressive power
- cooperative
- modal logic
- reinforcement learning
- mathematical programming
- computational models
- face verification
- model checking
- intelligent agents
- genetic algorithm
- inference rules
- literature review
- classical logic
- nonmonotonic logics
- multi agent architecture
- oriented programming