Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

Moise+

From MaRDI portal
(Redirected from Software:18322)
Jump to:navigation, search



swMATH6188MaRDI QIDQ18322FDOQ18322


Author name not available (Why is that?)

Official website: http://moise.sourceforge.net/




Cited In (31)

  • Equivalence of defeasible normative systems
  • Title not available (Why is that?)
  • On the use of organisation modelling techniques to address biological organisation
  • From distributed coordination to field calculus and aggregate computing
  • Coordination and reorganization in multi-agents systems. I.
  • Title not available (Why is that?)
  • Coordination and reorganization in multi-agents systems. II.
  • Title not available (Why is that?)
  • Norm-based mechanism design
  • Computational models for normative multi-agent systems
  • MetaMorph
  • INGENIAS
  • Jason
  • 2APL
  • Verics
  • CArtAgO
  • SDEF
  • SUMO
  • ISLANDER
  • Society Visualiser
  • Helena
  • KQML
  • DEECO
  • The USP farmers herding team
  • Executable specification of open multi-agent systems
  • Specification and Verification of Multi-Agent Systems
  • Correctness of multi-agent programs: A hybrid approach
  • A normative programming language for multi-agent organisations
  • Normative Multi-agent Programs and Their Logics
  • Making Golog norm compliant
  • Towards multi-level semantics for multi-agent systems


This page was built for software: Moise+

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Moise%2B&oldid=56215158"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 06:26. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki