|
Number of items: 7.
Kefalas, P. and Holcombe, M. and Eleftherakis, G. and Gheorge, M.
(2003)
A Formal Method for the Development of Agent Based Systems.
Intelligent Agent Software Engineering.
.
Stamatis, D. and Kefalas, P. and Kargidis, Th.
(1999)
A Multi-Agent System to Assist Networked Learning.
Journal of Computer Assisted Learning, Special Issue, 15 (3).
.
Gheorghe, M. and Holcome, M. and Kefalas, P.
(2001)
Computational Models of Collective Foraging.
BioSystems, 61 (2).
.
Kefalas, P.
(2002)
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.
In: In Proceedings of the 2nd Hellenic Conference on AI, 2002.
Kefalas, P. and Eleftherakis, G. and Holcombe, M. and Stamatopoulou, I.
(2005)
Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-Based Systems.
In Molecular Computational Models: Unconventional Approaches.
.
Eleftherakis, G. and Kefalas, P. and Sotiriadou, A.
(2002)
Formal Verification of Agent Models.
In: In Proceedings of the 2nd Hellenic Conference on AI, 2002.
Eleftherakis, G. and Kefalas, P.
(2003)
Formal Verification of Reactive Agents for Intelligent Control.
In: 12 ISAP Intelligent System Applications to Power Systems Conference.
This list was generated on Mon Sep 10 16:50:44 BST 2007.
|
