Refereed Journals and Conference Proceedings
2010
P.Kefalas, I.Stamatopoulou Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligence, Proceedings of the 11th International Conference on Membrane Computing, pages 269-276, 2010
P.Kefalas, I.Stamatopoulou Modelling Multi-Agent Systems: Expereinecs with Membrane Computing and Future Challenges, Proceedings of the 1st International Workshop on Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology, AMCA-POP 2010, pages 71-83, 2010
P. Kefalas, I.Stamatopoulou, M. Gheorghe, G.Eleftherakis, Membrane Computing Systems and X-machines, In Handbook of Molecular Computing, Gheorghe Paun (Ed), Oxford University Press, pages 612-620, 2010
I.Petreska and P.Kefalas, Towards Novel Approaches to Modelling and Versification of Biologically Inspired Multi-Agent Systems, Infusing Research and Knowledge in South-East Europe, Proceedings of the 5th Annual South-East European Doctoral Student Conference, SEERC, pages 445-452, 2010
2009
Stamatopoulou, M. Fasli, and P. Kefalas. Teaching AI and IA to non-science graduates. In M. Beer, M. Fasli, and D. Richards, editors, Proceedings of the International Workshop on the Educational Uses of Multi-Agent Systems (EDUMAS'09), pages 55-62, 2009
Sakellariou, P. Kefalas, and I. Stamatopoulou. MAS coursework design in NetLogo. In M. Beer, M. Fasli, and D. Richards, editors, Proceedings of the International Workshop on the Educational Uses of Multi-Agent Systems (EDUMAS'09), pages 47-54, 2009
P. Kefalas, I.Stamatopoulou, M. Gheorghe, G.Eleftherakis, Membrane Computing Systems and X-machines, In Handbook of Molecular Computing, Gheorghe Paun (Ed), 2009, (to be published)
2008
I.Stamatopoulou, I.Sakellariou, P.Kefalas,
G.Eleftherakis, OPERAS for Social Insects: Formal Modelling and Prototype
Simulation, Romanian Journal of Information Science and technology,
ROMJIST, Vol.11, No.3, pages 267-280, 2008
P. Kefalas, I. Stamatopoulou, G.Eleftherakis and M. Gheorghe. Transforming
State-Based Models to P Systems Models in Practice .Membrane Computing,
WMC9, LNCS, Corne D.; Frisco P.; Paun, G.; Rozenberg, G.; Salomaa, A. (Eds.),
Springer, Vol. 5391, 2008
I.Sakellariou, P.Kefalas, I.Stamatopoulou, Enhancing NetLogo to Simulate BDI Communicating
Agents, In: Artificial Intelligence: theories, Models and Applications,
J.Darzentas, G.A.Vouros,S.Vosinakis, A.Arnellos (eds.), Lecture Notes in AI, Vol. 5138,
Springer, pages 263-275, 2008
I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS: a formal framework for multi-agent systems
and its application to swarm-based systems.In A. Artikis, G.
O'Hare, K. Stathis, and G. Vouros, editors, Proceedings of the 8th
International Workshop on Engineering Societies in the Agents World
(ESAW'07), pages 208-223, 2007. Also in Engineering Societies in the Agents
World VIII, Lecture
Notes in AI, Vol. 4995, pages 158-174, 2008
G.Eleftherakis, P.Kefalas, Formal
Verification of Generalised State Machines, In Proceedings of the
8th Panhellenic Conference on Informatics, 2008. PCI '08, pages 227-231
I.Sakellariou, P.Kefalas, I.Stamatopoulou, Teaching Intelligent Agents using NetLogo, In Proceedings of the Informatics Education Europe
I II Conference, IEEIII 2008, Venice, Italy, 4-5 December 2008 (to
appear)
2007
I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS: a formal framework for multi-agent systems
and its application to swarm-based systems. In A. Artikis, G.
O'Hare, K. Stathis, and G. Vouros, editors, Proceedings of the 8th
International Workshop on Engineering Societies in the Agents World
(ESAW'07), pages 208-223, 2007. Also in Engineering Societies in the Agents
World VIII, Lecture
Notes in AI, Vol. 4995, pages 158-174
P. Kefalas, I.Stamatopoulou, and M. Gheorghe. Principles of
transforming Communicating X-machines to Population P Systems. In
G. Vaszil, editor, Proceedings of the International Workshop on Automata for
Cellular and Molecular Computing (ACMC'07), pages 76-89, 2007.
I. Stamatopoulou, P. Kefalas, and M. Gheorghe. Applying OPERASXC to NASA's Small Aircraft
Transportation System. In Proceedings of the 2nd Annual SEERC
Doctoral Student Conference (DSC'07), July 22-23, Thessaloniki, Greece, 2007.
I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERASCC: An instance of a formal framework for MAS
modelling based on Population P Systems. In G. Eleftherakis, P.
Kefalas, and G. Paun, editors, Proceedings of the 8th Workshop on Membrane
Computing (WMC'07), June 25-28, Thessaloniki, Greece, pages 551-566.
South-East European Research Centre, 2007. (also in) Lecture Notes in
Computer Science , Eleftherakis, G.; Kefalas, P.; Paun, G.; Rozenberg, G.;
Salomaa, A. (Eds.), Vol. 4860, pp 438-452, 2007
I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS for space: Formal modelling of autonomous spacecrafts. In
T. Papatheodorou, D. Christodoulakis, and N. Karanikolas, editors, Current
Trends in Informatics, volume B of Proceedings of the 11th Panhellenic
Conference in Informatics (PCI'07), May 18-20, Patras, Greece, pages 69-78,
2007.
I. Stamatopoulou, I. Sakellariou, P. Kefalas,
and G. Eleftherakis. Formal modelling for
in-silico
experiments with social insect colonies. In T. Papatheodorou, D.
Christodoulakis, and N. Karanikolas, editors, Current Trends in Informatics,
volume B of Proceedings of the 11th Panhellenic Conference in Informatics
(PCI'07), May 18-20, Patras, Greece, pages 79-89, 2007.
D.Stamatis, P.Kefalas, Logic Programming
Didactics, In Proceedings of the Informatics Education Europe II Conference,
P.Kefalas, A.Sotiriadou, G.Davies, A.McGettrick (Eds), IEEII 2007, SEERC,
ISBN 978-960-89629-3-4, pages 136-143
Eleftherakis, G.; Kefalas, P.; Paun, G.;
Rozenberg, G.; Salomaa, A. (Eds.), 8th International Workshop in Membrane
Computing WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected
and Invited Papers Series: Lecture Notes in Computer Science , Vol.
4860
P.Kefalas, A.Sotiriadou, G.Davies,
A.McGettrick (Eds), Proceedings of the Informatics Education Europe II
Conference, IEEII 2007, SEERC, ISBN 978-960-89629-3-4
2006
I.Stamatopoulou, P.Kefalas, M.Gheorghe, "Specification
of Reconfigurable MAS: A Hybrid Formal Approach", In
Proceedings of the 4th Greek Conference in Artificial Intelligence (SETN'06),
Heraklion, Crete, June 2006, In Lecture Notes in Computer Science
3955, Springer 2006, pp. 592-595
D.Dranidis, G.Eletherakis, P.Kefalas, "Object-based
Language for Generalised State Machines", Annals of
Mathematics, Computing and Teleinformatics, ISSN 1109-9305 , 2006.
Stamatopoulou, I., Kefalas, P. and Gheorghe,
M. "A hybrid formal approach for modelling
change in multi-agent systems". In Proceedings of 1st Annual
SEERC Doctoral Student Conference, Thessaloniki, Greece, July 10, 2006.
2005
P.Kefalas, G.Eleftherakis, M. Holcombe, I. Stamatopoulou, "Formal
Modelling of the Dynamic Behaviour of Biology-Inspired Agent-based Systems",
In Molecular Computational Models: Unconventional Approaches, M. Gheorghe
(ed.), Idea Group Publishing, pp. 243-276, 2005.
I. Stamatopoulou, M. Gheorghe, P.Kefalas, "Modelling
of Dynamic Organization of Biology-Inspired Multi-Agent Systems with Communicating
X-machines and P Systems", In Mauri, G., Paun, G., and M.
J. Perez-Limenez, et al., Lecture Notes in Computer Science, Vol. 3365,
pp. 389–401, 2005.
P. Kefalas, M. Holcombe, G. Eleftherakis, M. Gheorghe, "Formal
development of reactive agent-based systems", In Encyclopedia
of Information Science and Technology, Mehdi Khosrow-Pour (ed.), Idea Group
Publishing, pp. 1201-1204, 2005.
I.Stamatopoulou, P.Kefalas, M.Gheorghe, "A
Formal Modelling Framework for Developing Multi-agent Systems with Dynamic
Structure and Behaviour", In Proceedings of the 4th
International Central and Eastern European Conference on Multi-Agent Systems,
CEEMAS 2005, Also in Multi-Agent Systems and Applications IV (M.Pechoucek,
P.Petta, L.Varga eds.), LNAI, Vol.3690, Springer, pp. 122-131
D.Jackson, M.Holcombe, I,.Stamatopoulou,
I.Sakelariou, G.Eleftherakis, P.Kefalas, M.Gheorghe, "Modelling
self-organisation in ant colonies", In Proceedings of the 7th
International Conference on Artificial Evolution, EA'05, (poster presentation)
I.Stamatopoulou, P.Kefalas, M.Gheorghe, "Modelling
the Dynamic Structure of Biological State-Based Systems", In
Proceedings of the 6th International Workshop on Information Processing in
Cells and Tissues, York 2005
P.Kefalas, I,.Stamatopoulou, G.Eleftherakis,
M.Gheorghe, "A Modelling Language and Tool for
Population P Systems", In Proceedings of the 10th Panhellenic
Conference in Informatics, PCI-10, Greek Computer Society , Volos, pp.142-152
I. Sakellariou, G. Eleftherakis, I. Vlahavas and
P. Kefalas, "Animating formal models in a
communicating sequential process platform", In Proceedings of
the 10th Panhellenic Conference in Informatics, Greek Computer Society, Volos,
pp.174-184
2004
G. Eleftherakis, P. Kefalas, A. Sotiriadou, E. Kehris, "Modeling
Biology Inspired Reactive Agents Using X-machines", In Proceedings
of the International Conference on Computational Intelligence (ICCI04),
Istanbul, pp.93-96, December 2004
M.Gheorghe, I.Stamatopoulou, M.Holcombe, P.Kefalas, "Modelling
Dynamically Organised Colonies of Bio-Entities", Unconventional
Programming Paradigms Workshop (UPP'04), September 2004, Mont Saint-Michel,
France
2003
P.Kefalas, M.Holcombe, G.Eleftherakis, M.Gheorge, "A
Formal Method for the Development of Agent Based Systems",
In Intelligent Agent Software Engineering, V.Plekhanova (eds), Idea Group
Publishing Co., pp.68-98, 2003
P.Kefalas, G.Eleftherakis, E.Kehris, "Communicating
X-Machines: From Theory to Practice", Lecture Notes in Computer
Science Vol.2563, "Advances in Informatics - Post-Proceedings of the 8th
Panhellenic Conference in Informatics" (Y.Manolopoulos, S.Evripidou and
A.Kakas eds.), 2003
F. Ipate, T. Balanescu,P. Kefalas, M. Holcombe,G. Eleftherakis, "A
new model of Communicating Stream X-machine Systems", Romanian
Journal on Information Science and Technology, No.1-2, Vol.6, 2003, pp.165-183
G.Eleftherakis, P.Kefalas, A.Sotiriadou, "Formal
Verification of Reactive Agents for Intelligent Control",
In Proceedings of the 12 ISAP Intelligent System Applications to Power
Systems Conference, 2003
T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, "Towards
a Europen Crdit Transfer System for Networked Learning (ECTS-NL)",
In Proceedings of the International Conference on network Universities
and E-Learning, Valentia, Spain, May 2003
P.Kefalas, S.Retalis, D.Stamatis, T.Kargidis, "Quality
Assurance Procedures and e-ODL", In Proceedings of the International
Conference on network Universities and E-Learning, Valentia, Spain, May
2003
T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, "Teaching
Logic Programming from a distance: an Approach", In Proceedings
of 6th International Conference Conputer Based Learning in Science, Cyprus,
July 2003
P.Kefalas, G.Eleftherakis, A.Sotiriadou, "Developing
Tools For Formal Methods", In Proceedings of the 9th Panhellenic Conference
in Informatics, pp.625-639, November 2003
M.Gheorge, M.Holcombe, P.Kefalas "Eilenberg
P Systems: A Bio-Computational Model", In Proceedings of
the 1st Balkan Conference in Informatics pp.147-160, November 2003
D.Dranidis, K.Tigka, P.Kefalas, "Formal
Modelling of Use Cases with X-machines", In Proceedings
of the 1st South-East European Workshop on Formal Methods (SEEFM'03), pp.
72-83, November 2003
2002
G..Eleftherakis, P.Kefalas, A.Sotiriadou, "XmCTL:
Extending Temporal Logic to Facilitate Formal Verification of X-Machines
Models", Annales Univerisitate Bucurest Matematica. Informatica,
Annul L, pp.79-95, 2002
P.Kefalas, "Formal Modelling of Reactive Agents
as an Aggregation of Simple Behaviours", (In Proceedings of
the 2nd Hellenic Conference on AI, SETN02, Lecture Notes in Artificial
Intelligence 2308 (I.P.Vlahavas and C.D.Spyropoulos eds.), Springer-Verlag,
pp.461-472, 2002
G.Eleftherakis, P.Kefalas, A.Sotiriadou, "Formal
Verification of Agent Models", In Proceedings of the 2nd Hellenic
Conference on AI, SETN02, (I.P.Vlahavas and C.D.Spyropoulos eds.), Hellenic
Artificial Intelligence Society, pp.425-435, 2002.
G.Eleftherakis, P.Kefalas, "Model Checking Safety Critical
Systems", Scientific
Bulletin, University of Pitesti, Romania, No.8, pp.77-85, 2002
2001
M.Gheorghe, M.Holcome, P.Kefalas, "Computational
Models of Collective Foraging", 4th International Workshop on Information
Processing in Cells and Tissues, IPCAT 2001, Luven, Belgium, August 2001,
(also appeared in) BioSystems, 61 (2001) 133-141
P.Kefalas, G.Eleftherakis, E.Kehris, "Modular
Modeling of Large-Scale Systems using Communicating X-Machines",
In Proceedings of the 8th Panhellenic Conference in Informatics (Y.Manolopoulos
and S.Evripidou eds.), Greek Computer Society, Livanis Pub.Co., pp.20-29,
2001
2000
E.Kapeti, P.Kefalas, "A
Design Language and Tool for X-Machine Specification", Proceedings
of the 7th Panhellenic Conference on Information Techology, Greek Computer
Society, Ioannina, August 1999 (also publiched in Advances in Informatics,
D.I.Fotiadis and S.D.Nikolopoulos, World Scientific Publishing Company,
pp. 134-145, April 2000)
M.Nikolaraizi, P.Kefalas, "Web-Counseling: The
Need for Parents of the Deaf Children" (In Greek), In Proceedings
of the 2nd Panhellenic Conference of New Technologies in Society and Culture,
pp. 264-272, Athens, June 2000
E. Kehris, G.Eleftherakis, P.Kefalas, "Using
X-Machines to Model and Test Discrete Event Simulation Programs",
In Proceedings of the 4th World MultiConference on Circuits, Systems, Communications
& Computers (CSCC 2000), Athens, July 2000
Sotiriadou, P.Kefalas, "Teaching
Formal Methods in Computer Science Undergraduates", Procedings
of the International Conference on Applied and Theoretical Mathematics, Vravrona, Greece, Dec.1-3, (also appeared in Recent Advances in Applied
and Theoretical Mathematics, Nikos Mastorakis (ed.) WSES, pp.91-95,
2000
1999
I.Vlahavas, P.Kefalas, C.Halatsis "OASys:
An AND/OR Parallel Logic Programming System", Journal of Parallel
Computing, vol.25, pp 321-336, Elsevier Science, 1999
A.Sotiriadou, P.Kefalas, "Logic
and Sets in the Computer Science Curriculum", Proceedings of the
2nd Panhellenic Logic Symposium, pp. 191-196, Delphi, July 1999.
D.Stamatis, P.Kefalas, Th.Kargidis, "A
Multi-Agent System to Assist Networked Learning", Journal of Computer
Assisted Learning, Special Issue, Vol.15, No.3, pp 201-210, September 1999
1998
G.Demou, P.Kefalas, E.Kehris, "A
Virtual Lab for Teaching Electronic Circuits Physics", (In Greek),
Conference on Teaching of Physical Sciences and Application of New Technologies
in Education, Thessaloniki, May 1998.
E.Kehris, P.Kefalas, A.Sotiriadou,"A Graphical
Tool for the Evaluation of Control Policies of Flexible Production Systems",
(In Greek), 12th National Conference on Enterprises and Innovative Technologies,
Samos, 1998.
D.Stamatis, Th.Kargidis, P.Kefalas, "A Model for
Delivery of Networked Lifelong Learning for Enterprises", (In
Greek), 12th National Conference on Enterprises and Innovative Technologies,
Samos, 1998.
D.Stamatis, P.Kefalas, Th.Kargidis, "Towards
a Multi-Agent System to Assist Networked Learning", Proceedings
of the International Conference in Lifelong Networked Learning, pp 2.48-2.54,
Sheffield, April 1998.
1997
I.Vlahavas, P.Kefalas, I.Sakellariou, C.Halatsis, "The
Basic OASys Model: Preliminary Results", Proceedings of the 6th
Panhellenic Conference on Information Techology, pp 723-734, Greek Computer
Society, Athens, December 1997
P.Kefalas, D.Pratikaki, "MAPS:
A Multi-Agent Problem Solving System", Proceedings of the 6th Panhellenic
Conference on Information Techology, pp 507-516 , Greek Computer Society,
Athens, December 1997
1996
P.Kefalas and I.Vlahavas, "Multiple
OR-Parallel Resolution Prolog: Meta-Level Control of Parallel Logic Programs",
Lecture Notes in Computer Science 1123, L.Bouge, P.Fraigniaud, A.Mignotte,
Y.Robert (eds.), Euro-Par'96 Parallel Processing, Lyon, France, Springer Verlag, pp.694-703, 1996
1993
I. Vlahavas and P.Kefalas, "The
AND/OR Parallel Prolog Machine APIM: Execution Model and Abstract Design",
Journal of Programming Languages, Vol.1, pp 245-261, Chapman &
Hall, 1993
1992
I.Vlahavas and P.Kefalas, "An
Abstract Prolog Machine based on Parallel Resolution Principle",
Journal of Microprocessing and Microprogramming, vol.35, pp 755-762, North-Holland,
Springer-Verlag, 1992
I.Vlahavas and P.Kefalas, "A
Parallel Prolog Resolution based on Multiple Unifications", Journal
of Parallel Computing, vol.18, pp 1275-1283, Elsevier Science, 1992
1991
T.J.Reynolds and P.Kefalas, "BRAVE:
An OR-Parallel dialect of Prolog and its Application to AI", Proc.
of the 1st and 2nd Intern. Conf. in Logic Programming in Soviet Union,
Lecture Notes in Artificial Intelligence, vol.592, pp 415-432, Springer-Verlag,
Irkutsk 1990 and Leningrad 1991
P.Kefalas and T.J.Reynolds, "Controlling
Search with meta-Brave", In Parallel Execution of Logic Programs,
ICLP '91 Pre-Conference Workshop, Lecture Notes in Computer Science, vol.569,
A.Beaumont and G.Gupta (eds.), pp 29-38, Springer-Verlag, Paris, France,
1991
P.Kefalas and T.J.Reynolds, "Hill-Climbing
and Genetic Algorithms coded using OR-Parallel Logic plus Meta-Control",
Proc. of the 1st Intern. Workshop on Parallel Processing for AI, held in
association with Intern. Conference in AI, IJCAI-91, Sydney, Australia,
1991
1990
T.J.Reynolds and P.Kefalas, "OR-Parallel
Prolog and Search Problems in AI", Proc. of the 7th Intern. Conf.
in Logic Programming, D.H.D.Warren and P.Szeredi (eds.), pp 340-354, MIT
Press, Jerusalem,Israel,1990
1989
T.J.Reynolds and P.Kefalas, "OR-Parallel
Logic Languages in Law Applications", Proc. of the 3rd Intern.
Cong. in Law and Expert Systems, A.A.Martino (ed.), pp. 579-594, Florence,
Italy, 1989
|