CITY College, Affiliated Institution of the University of Sheffield

Membership Details (University/College)

Member node: 037
13 Tsimiski Street 54624 Thessaloniki Greece

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


The Dept. of Computer Science at CITY College has established a research group on Software Engineering, part of which puts emphasis on research related to formal methods and their use to developing biology-inspired multi-agent systems. Few of the members of the group have been involved with research in AI and Intelligent agents. The undergraduate and postgraduate curricula, leading to a University of Sheffield degree, offer two courses: one on Artificial Intelligence and one on Intelligent Agents.

Publications also include the following book in Greek:
I.Vlahavas, P.Kefalas, N.Bassiliadis, I.Refanidis, H.Sakelariou, and F.Kokkoras, "Artificial Intelligence", (In Greek), Gartaganis PubCo, ISBN 960-7013-28-X, 2002
which contains two chapters on agent systems.


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. pp. 243-276.

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. pp. 68-98.

Gheorghe, M. and Holcome, M. and Kefalas, P. (2001) Computational Models of Collective Foraging. BioSystems, 61 (2). pp. 133-141.

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). pp. 201-210.

Conference or Workshop Item

Eleftherakis, G. and Kefalas, P. (2003) Formal Verification of Reactive Agents for Intelligent Control. In: 12 ISAP Intelligent System Applications to Power Systems Conference.

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.

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.

This list was generated on Mon Sep 10 16:38:41 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact