Substitution rules for the verification of norm-compliance in electronic institutions

Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

Volumn 13, Issue , 2004, Pages 21-26

  Khalil Ibrahim, Ismail ^a   Kotsis, Gabriele ^a   Kronsteiner, Reinhard ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS APPLICATIONS; CONFORMITY; COOPERATION STRATEGY; ELECTRONIC INSTITUTIONS; HUMAN ORGANIZATIONS;

ALGORITHMS; COMMUNICATION SYSTEMS; COMPUTER SCIENCE; INTELLIGENT AGENTS; NETWORK PROTOCOLS; SEMANTICS;

ELECTRONIC COMMUNITIES;

EID: 10444248992     PISSN: 15244547     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. C. Castelfranchi, F. Dignum, C. Jonker, and J. Treur, "Deliberative Normative Agents: Principles and Architectures", Proc. of the 6th Workshop on Agent Theories, Architectures and Languages, ATAL'99, Orlando, 1999, pp. 206-220.
2. M. Dastani, V. Dignum and F. Dignum, "Organizations and Normative Agents", Proceedings of first Eurasian Conference on Advances in Information and Communication Technology, Teheran Iran, 2002, pp. 982-989
3. F. Dignum, "Abstract Norms and Electronic Institutions", Proceedings of the Int. Workshop on Regulated Agent-based social Systems: Theories and Applications RASTA '02, Bologna Italy, 2002
4. V. Dignum, A Model for Organizational Interaction based on Agents, founded in Logic, PhD thesis at Utrecht University 2004. SIKS Dissertation Series No 2004-1
5. M. Esteva, J. Padget and C. Sierra, "Formalizing a Language for Institutions and Norms", J.J.Ch. Meyer, and M. Tambe, (eds.) Intelligent Agents VIII, Vol. 2333 LNAI, Springer 2001
6. I.K. Ibrahim, E. Weippl, F. Dignum, and W. Schwinger, "Modeling Norms in Electronic Institutions" Proc. of the Workshop on Agent-Based Simulation, Passau, Germany 2002.
7. th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE'03, Linz, 2003, pp. 30-35
8. F. López y López, M. Luck, M. and M. d'Inverno, "Constraining autonomy through norms" Proc. of the 1st Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002 ACM, 2002, pp. 674-681
9. J. Vázquez-Salceda and F. Dignum,. "Modelling Electronic Organizations", V. Marik, J. Mueller and M. Pechoucek, (eds.), Proceedings of Central and East European Conference in Multi-Agent Systems CEEMAS'03, Springer, Prague, 2003