메뉴 건너뛰기




Volumn 2581, Issue , 2003, Pages 50-69

Relating structure and dynamics in organisation models

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; MULTI AGENT SYSTEMS; SPECIFICATIONS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; SOCIAL ASPECTS;

EID: 7044240760     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36483-8_5     Document Type: Conference Paper
Times cited : (12)

References (24)
  • 3
    • 0035279592 scopus 로고    scopus 로고
    • Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation
    • Brazier, F.M.T., Eck, P.A.T. van, and Treur, J., (2001). Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation. Journal of Applied Intelligence, vol. 14, pp. 161–178.
    • (2001) Journal of Applied Intelligence , vol.14 , pp. 161-178
    • Brazier, F.M.T.1    van Eck, P.A.T.2    Treur, J.3
  • 5
    • 1642287715 scopus 로고    scopus 로고
    • Compositional Verification of Multi- Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic
    • Engelfriet, J., Jonker, C.M., and Treur, J. (2002). Compositional Verification of Multi- Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information, 11: 195–22.
    • (2002) Language and Information , vol.11 , pp. 195-222
    • Engelfriet, J.1    Jonker, C.M.2    Treur, J.3
  • 7
    • 33745646574 scopus 로고    scopus 로고
    • Operational Semantics of a role-based agent architecture
    • In: Jennings, N.R. & Lesperance, Y. (eds.) Intelligent Agents VI, Lecture Notes in AI, Springer Verlag
    • th Int. Workshop on Agent Theories, Architectures and Languages (ATAL’1999). In: Jennings, N.R. & Lesperance, Y. (eds.) Intelligent Agents VI, Lecture Notes in AI, vol. 1757, Springer Verlag, 2000, pp. 205–217.
    • (1999) th Int. Workshop on Agent Theories, Architectures and Languages (ATAL’1999) , vol.1757 , pp. 205-217
    • Ferber, J.1    Gutknecht, O.2
  • 9
  • 14
    • 0036355261 scopus 로고    scopus 로고
    • A Model for the Structural, Functional and Deontic Specification of Organizations in Multiagent Systems. In: Proc. 16th Brazilian Symposium on Artificial Intelligence (SBIA’02), Porto de Galinhas, Brasil, 2002. Extended abstract: MOISE+: Towards a Structural, Functional and Deontic model for MAS Organizations
    • In: C. Castelfranchi and W.L. Johnson (eds.), ACM Press
    • Hubner, J.F., Sichman, J.S., and Boissier, O., A Model for the Structural, Functional and Deontic Specification of Organizations in Multiagent Systems. In: Proc. 16th Brazilian Symposium on Artificial Intelligence (SBIA’02), Porto de Galinhas, Brasil, 2002. Extended abstract: MOISE+: Towards a Structural, Functional and Deontic model for MAS Organizations. In: C. Castelfranchi and W.L. Johnson (eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS’ 02. ACM Press, 2002, pp. 501–502.
    • (2002) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS’ 02 , pp. 501-502
    • Hubner, J.F.1    Sichman, J.S.2    Boissier, O.3
  • 16
    • 84949205205 scopus 로고    scopus 로고
    • Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness
    • W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Springer Verlag, 1998
    • Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS’97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350–380.
    • (1998) Proceedings of the International Workshop on Compositionality, COMPOS’97. Lecture Notes in Computer Science , vol.1536 , pp. 350-380
    • Jonker, C.M.1    Treur, J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.