-
1
-
-
0012051075
-
Deliberative Evolution in Multi-Agent Systems
-
Brazier, F.M.T., Jonker, C.M., Treur, J., and Wijngaards, N.J.E., Deliberative Evolution in Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering, vol. 11, 2001, pp. 559-581.
-
(2001)
International Journal of Software Engineering and Knowledge Engineering
, vol.11
, pp. 559-581
-
-
Brazier, F.M.T.1
Jonker, C.M.2
Treur, J.3
Wijngaards, N.J.E.4
-
2
-
-
30144432698
-
A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems
-
Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Springer Verlag
-
Dastani, M., Jonker, C.M., and Treur, J., A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. In:Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Lecture Notes in Computer Science, vol.2222. Springer Verlag, 2002, pp. 169-187.
-
(2002)
Lecture Notes in Computer Science
, vol.2222
, pp. 169-187
-
-
Dastani, M.1
Jonker, C.M.2
Treur, J.3
-
4
-
-
84942764539
-
Operational Semantics of a role-based agent architecture
-
th Int. Workshop on Agent Theories, Architectures and Languages (ATAL'1999). Jennings, N.R. & Lesperance, Y. (eds.) Intelligent Agents VI, 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)
Lecture Notes in AI
, vol.1757
, pp. 205-217
-
-
Ferber, J.1
Gutknecht, O.2
-
5
-
-
33750247001
-
Organization Models and Behavioural Requirements Specification for Multi-Agent Systems
-
Y. Demazeau, F. Garijo (eds.)
-
Ferber, J., Gutknecht, O., Jonker, C.M., Müller, J.P., and Treur, J., (2001). Organization Models and Behavioural Requirements Specification for Multi-Agent Systems. In:Y. Demazeau, F. Garijo (eds.), Multi-Agent System Organisations. Proceedings of MAAMAW'01, 2001.
-
(2001)
Multi-Agent System Organisations. Proceedings of MAAMAW'01, 2001
-
-
Ferber, J.1
Gutknecht, O.2
Jonker, C.M.3
Müller, J.P.4
Treur, J.5
-
7
-
-
84959048678
-
Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements
-
Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Agent-Oriented Software Engineering II, Proc. AOSE'01. Springer Verlag, 2002
-
Jonker, C.M., Letia, I.A., and Treur, J., (2002). Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements. In:Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Agent-Oriented Software Engineering II, Proc. AOSE'01. Lecture Notes in Computer Science, vol. 2222. Springer Verlag, 2002, pp. 17-32.
-
(2002)
Lecture Notes in Computer Science
, vol.2222
, pp. 17-32
-
-
Jonker, C.M.1
Letia, I.A.2
Treur, J.3
-
8
-
-
0035994559
-
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness
-
Jonker, C.M., and Treur, J., Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51-92.
-
(2002)
International Journal of Cooperative Information Systems
, vol.11
, pp. 51-92
-
-
Jonker, C.M.1
Treur, J.2
-
9
-
-
7044240760
-
Relating Structure and Dynamics in an Organisation Model
-
J.S. Sichman, F. Bousquet, and P. Davidson (eds.), Multi-Agent-Based Simulation II, Proc. of the Third International Workshop MABS'02. Springer Verlag
-
Jonker, C.M., and Treur, J. (2002). Relating Structure and Dynamics in an Organisation Model. In:J.S. Sichman, F. Bousquet, and P. Davidson (eds.), Multi-Agent-Based Simulation II, Proc. of the Third International Workshop MABS'02. Lecture Notes in AI, vol. 2581,Springer Verlag, 2003, pp. 50-69.
-
(2002)
Lecture Notes in AI
, vol.2581
, pp. 50-69
-
-
Jonker, C.M.1
Treur, J.2
-
10
-
-
70350624349
-
Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment
-
P. Ciancarini, M.J. Wooldridge (eds.), Agent- Oriented Software Engineering, Proceedings of AOSE-2000. Springer Verlag
-
Jonker, C.M., Treur, J., and De Vries, W. Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. In:P. Ciancarini, M.J. Wooldridge (eds.), Agent- Oriented Software Engineering, Proceedings of AOSE-2000. Lecture Notes in Computer Science, vol. 1957, Springer Verlag, 2001, pp. 253-268.
-
(2001)
Lecture Notes in Computer Science
, vol.1957
, pp. 253-268
-
-
Jonker, C.M.1
Treur, J.2
De Vries, W.3
-
11
-
-
84949233928
-
Temporal Languages for Simulation and Analysis of the Dynamics Within an Organisation
-
B. Dunin-Keplicz and E. Nawarecki (eds.), From Theory to Practice in Multi-Agent Systems, Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'01, 2001. Springer Verlag
-
Jonker, C.M., Treur, J., and Wijngaards, W.C.A., (2001). Temporal Languages for Simulation and Analysis of the Dynamics Within an Organisation. In:B. Dunin-Keplicz and E. Nawarecki (eds.), From Theory to Practice in Multi-Agent Systems, Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'01, 2001. Lecture Notes in AI, vol. 2296, Springer Verlag, 2002, pp. 151-160.
-
(2001)
Lecture Notes in AI
, vol.2296
, pp. 151-160
-
-
Jonker, C.M.1
Treur, J.2
Wijngaards, W.C.A.3
-
15
-
-
0003085718
-
SDML: A Multi-Agent Language for Organizational Modelling
-
Moss, S., Gaylard, H., Wallis, S., and Edmonds, B. (1998). SDML: A Multi-Agent Language for Organizational Modelling, Computational and Mathematical Organization Theory 4, (1), 43-70.
-
(1998)
Computational and Mathematical Organization Theory
, vol.4
, Issue.1
, pp. 43-70
-
-
Moss, S.1
Gaylard, H.2
Wallis, S.3
Edmonds, B.4
|