Moise+
From MaRDI portal
Software:18322
No author found.
Related Items (18)
Specification and Verification of Multi-Agent Systems ⋮ Norm-based mechanism design ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equivalence of defeasible normative systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A normative programming language for multi-agent organisations ⋮ Executable specification of open multi-agent systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards multi-level semantics for multi-agent systems ⋮ On the use of organisation modelling techniques to address biological organisation ⋮ From distributed coordination to field calculus and aggregate computing ⋮ Correctness of Multi-Agent Programs: A Hybrid Approach ⋮ Making Golog Norm Compliant ⋮ Normative Multi-agent Programs and Their Logics ⋮ The USP farmers herding team
This page was built for software: Moise+
