Moise+
From MaRDI portal
Cited in
(31)- MetaMorph
- INGENIAS
- Jason
- 2APL
- From distributed coordination to field calculus and aggregate computing
- Verics
- CArtAgO
- SDEF
- Correctness of multi-agent programs: A hybrid approach
- Making Golog norm compliant
- Specification and Verification of Multi-Agent Systems
- Norm-based mechanism design
- ISLANDER
- Society Visualiser
- SUMO
- Executable specification of open multi-agent systems
- Normative Multi-agent Programs and Their Logics
- KQML
- scientific article; zbMATH DE number 1950758 (Why is no real title available?)
- scientific article; zbMATH DE number 2014717 (Why is no real title available?)
- scientific article; zbMATH DE number 2079770 (Why is no real title available?)
- DEECO
- Helena
- Equivalence of defeasible normative systems
- Computational models for normative multi-agent systems
- Towards multi-level semantics for multi-agent systems
- Coordination and reorganization in multi-agents systems. II.
- Coordination and reorganization in multi-agents systems. I.
- On the use of organisation modelling techniques to address biological organisation
- A normative programming language for multi-agent organisations
- The USP farmers herding team
This page was built for software: Moise+
