Login / Signup
A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach.
Mohamed Amin Laouadi
Farid Mokhati
Hassina Seridi-Bouchelaghem
Published in:
Multiagent Grid Syst. (2017)
Keyphrases
</>
multi agent systems
main contribution
mathematical theory
formal language
high level
formal methods
logical framework
cooperative
probabilistic model
information processing
conceptual model
abductive reasoning
asynchronous circuits