Norm Verification and Analysis of Electronic Institutions

This publication has 7 references indexed in Scilit:

• Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
  Annals of Mathematics and Artificial Intelligence, 2004
• Formalizing a Language for Institutions and Norms
  Published by Springer Nature ,2002
• An approach to rapid prototyping of large multi-agent systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the Formal Specification of Electronic Institutions
  Published by Springer Nature ,2001
• Autonomous agents with norms
  Artificial Intelligence and Law, 1999
• Specifications are (preferably) executable
  Software Engineering Journal, 1992
• Metainterpreters for expert system construction
  The Journal of Logic Programming, 1989