-
1
-
-
84959340302
-
-
This volume
-
Amiguet, M., Müller, J.-P., Baez-Barranco, J.-A., and Nagy, A., (2003), The MOCA Platform Simulated the Dynamics of Social Networks. This volume.
-
(2003)
The MOCA Platform Simulated the Dynamics of Social Networks
-
-
Amiguet, M.1
Müller, J.-P.2
Baez-Barranco, J.-A.3
Nagy, A.4
-
2
-
-
0003607438
-
-
Research Studies Press Ltd. and John Wiley & Sons
-
Barringer, H., Fisher, M., Gabbay, D., Owens, R., and Reynolds, M., (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons.
-
(1996)
The Imperative Future: Principles of Executable Temporal Logic
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Owens, R.4
Reynolds, M.5
-
3
-
-
0035279592
-
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
-
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
-
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
-
8
-
-
33750247001
-
Organization Models and Behavioural Requirements Specification for Multi-Agent System
-
Y. Demazeau, F. Garijo (eds.), Lecture Notes in AI, Springer Verlag. To appear
-
th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’01, 2001. Lecture Notes in AI, Springer Verlag. To appear, 2002.
-
(2001)
th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’01, 2001
-
-
Ferber, J.1
Gutknecht, O.2
Jonker, C.M.3
Müller, J.P.4
Treur, J.5
-
11
-
-
22444452622
-
Dependence Relations between Roles in a Multi-Agent System: Towards the Detection of Inconsistencies in Organization
-
In: J.S. Sichman, R. Conte, and N. Gilbert (eds.), Springer - Verlag Berlin-Alemanha
-
Hannoun, M., Sichman, J.S., Boissier, O., and Sayettat, C., Dependence Relations between Roles in a Multi-Agent System: Towards the Detection of Inconsistencies in Organization. In: J.S. Sichman, R. Conte, and N. Gilbert (eds.), Multi-Agent Systems and Agent-Based Simulation (Proc. of the 1st. International Workshop on Multi-Agent Based Simulation, MABS’98), Lecture Notes in Artificial Intelligence, vol. 1534, Springer - Verlag Berlin-Alemanha, 1998, pp. 169–182.
-
(1998)
Multi-Agent Systems and Agent-Based Simulation (Proc. of the 1st. International Workshop on Multi-Agent Based Simulation, MABS’98), Lecture Notes in Artificial Intelligence
, vol.1534
, pp. 169-182
-
-
Hannoun, M.1
Sichman, J.S.2
Boissier, O.3
Sayettat, C.4
-
12
-
-
78650086277
-
MOISE: An organizational model for multi-agent systems
-
In: M. C. Monard and J. S. Sichman (eds.), Springer-Verlag, Berlin
-
Hannoun, M., Boissier, O., Sichman, J.S., and Sayettat, C., MOISE: An organizational model for multi-agent systems. In: M. C. Monard and J. S. Sichman (eds.), Advances in Artificial Intelligence, (Proc. International Joint Conference 7th. Ibero-American Conference on Artificial Intelligence (IBERAMIA’00) and 15th. Brazilian Symposium on Artificial Intelligence (SBIA’00), Atibaia, Brasil). Lecture Notes in Artificial Intelligence, vol. 1952, Springer-Verlag, Berlin, 2000, pp. 152–161.
-
(2000)
Advances in Artificial Intelligence, (Proc. International Joint Conference 7th. Ibero-American Conference on Artificial Intelligence (IBERAMIA’00) and 15th. Brazilian Symposium on Artificial Intelligence (SBIA’00), Atibaia, Brasil). Lecture Notes in Artificial Intelligence
, vol.1952
, pp. 152-161
-
-
Hannoun, M.1
Boissier, O.2
Sichman, J.S.3
Sayettat, C.4
-
13
-
-
70350442830
-
Specification of Behavioral Requirements within Compositional Multi-Agent System Design
-
F.J. Garijo, M. Boman (eds.), Lecture Notes in AI, Springer Verlag, Berlin
-
th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99. Lecture Notes in AI, vol. 1647, Springer Verlag, Berlin, 1999, pp. 8–27.
-
(1999)
th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99
, vol.1647
, pp. 8-27
-
-
Herlea, D.E.1
Jonker, C.M.2
Treur, J.3
Wijngaards, N.J.E.4
-
14
-
-
0036355261
-
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
-
15
-
-
84959048678
-
Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements
-
In: Wooldridge, M., Weiss, G., and Ciancarini, P. (eds.), Springer Verlag, 2002
-
nd International Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in Computer Science, vol. 2222. Springer Verlag, 2002, pp. 17–32.
-
(2002)
nd International Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in Computer Science
, vol.2222
, pp. 17-32
-
-
Jonker, C.M.1
Letia, I.A.2
Treur, J.3
-
16
-
-
84949205205
-
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
-
17
-
-
84949233928
-
Temporal Languages for Simulation and Analysis of the Dynamics Within an Organisation
-
In: B. Dunin-Keplicz and E. Nawarecki (eds.), Springer Verlag, 2002
-
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)
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
, pp. 151-160
-
-
Jonker, C.M.1
Treur, J.2
Wijngaards, W.C.A.3
-
22
-
-
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
-
24
-
-
78649292460
-
On Personal and Role Mental Attitudes: A Preliminary Dependence- Based Analysis
-
In: F. Oliveira (ed.), Springer Verlag, Berlin-Alemanha
-
Sichman, J.S. and Conte, R., On Personal and Role Mental Attitudes: A Preliminary Dependence- Based Analysis. In: F. Oliveira (ed.), Advances in AI (Proc. 14th Brazilian Symposium on Artificial Intelligence, SBIA’98), Lecture Notes in Artificial Intelligence, vol. 1515, Springer Verlag, Berlin-Alemanha, 1998, pp 1–10.
-
(1998)
Advances in AI (Proc. 14th Brazilian Symposium on Artificial Intelligence, SBIA’98), Lecture Notes in Artificial Intelligence
, vol.1515
, pp. 1-10
-
-
Sichman, J.S.1
Conte, R.2
|