Login / Signup
Towards a Formal Specification of Complex Social Structures in Multi-agent Systems.
Juan A. Rodríguez-Aguilar
Francisco J. Martín
Pere Garcia
Pablo Noriega
Carles Sierra
Published in:
Collaboration between Human and Artificial Societies (1999)
Keyphrases
</>
formal specification
multi agent systems
model checking
object oriented design
social structures
formal methods
reverse engineering
process algebra
machine learning
artificial intelligence
cooperative
online communities
quantitative and qualitative