Moise+
From MaRDI portal
Software:18322
swMATH6188MaRDI QIDQ18322FDOQ18322
Author name not available (Why is that?)
Cited In (18)
- Correctness of Multi-Agent Programs: A Hybrid Approach
- Equivalence of defeasible normative systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the use of organisation modelling techniques to address biological organisation
- Making Golog Norm Compliant
- From distributed coordination to field calculus and aggregate computing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Norm-based mechanism design
- The USP farmers herding team
- Executable specification of open multi-agent systems
- Specification and Verification of Multi-Agent Systems
- A normative programming language for multi-agent organisations
- Normative Multi-agent Programs and Their Logics
- Title not available (Why is that?)
- Towards multi-level semantics for multi-agent systems
This page was built for software: Moise+
