Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions.

Ismail Khalil Ibrahim Gabriele Kotsis Reinhard Kronsteiner

Published in: WETICE (2004)

Keyphrases

electronic institutions
open multi agent systems
multi agent systems
association rules
software agents
classification rules
rule sets
objective function
linear programming
model checking
coalition formation
face verification
signature verification
agent societies