Petros Kefalas

56 papers B 3C 1Misc 3Journal 9Unranked 33
YearRankTypeTitle / Venue / Authors
2023 — ch.
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation.
Prolog: The Next 50 Years
Nick Bassiliades, Ilias Sakellariou, Petros Kefalas
2020 — conf
Emotional Agents Make a (Bank) Run.
EUMAS/AT
Konstantinos Grevenitis, Ilias Sakellariou, Petros Kefalas
2018 B conf
An authentic student research experience: fostering research skills and boosting the employability profile of students.
ITiCSE
Thanos Hatziapostolou, Dimitris Dranidis, Anna Sotiriadou, Petros Kefalas, Ioannis Nikolakopoulos
2018 J jnl
Using screencasts to enhance coding skills: The case of logic programming?
Comput. Sci. Inf. Syst.
Petros Kefalas, Ioanna Stamatopoulou
2017 Misc conf
A Recommender System Based on Hierarchical Clustering for Cloud e-Learning.
IDC
Krenare Pireva, Petros Kefalas
2017 — ed.
Proceedings of the 8th Balkan Conference in Informatics, BCI 2017, Skopje, Macedonia, September 20 - 23, 2017
BCI
Katerina Zdravkova, George Eleftherakis, Petros Kefalas
2017 — conf
Representation of learning objects in cloud e-learning.
IISA
Krenare Pireva, Petros Kefalas, Ioanna Stamatopoulou
2017 Misc conf
Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum.
IDC
Ioanna Stamatopoulou, Konstantinos Dimopoulos, Petros Kefalas
2017 — conf
The Invalidity of Validating Emotional Multi-Agent Systems Simulations.
BCI
Petros Kefalas, Ilias Sakellariou
2017 — conf
Using Screencasts to Enhance Logic Programming Skills.
BCI
Petros Kefalas, Ioanna Stamatopoulou
2016 Misc conf
The Role of Emotions, Mood, Personality and Contagion in Multi-agent System Decision Making.
AIAI
Ilias Sakellariou, Petros Kefalas, Suzie Savvidou, Ioanna Stamatopoulou, Marina Ntika
2016 — conf
The Role of Mood on Emotional Agents Behaviour.
ICCCI (1)
Petros Kefalas, Ilias Sakellariou, Suzie Savvidou, Ioanna Stamatopoulou, Marina Ntika
2015 — conf
From Formal Modelling to Agent Simulation Execution and Testing.
ICAART (1)
Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas
2015 — conf
Stream X-Machines for Agent Simulation Test Case Generation.
ICAART (Revised Selected Papers)
Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas
2014 — conf
A Formal Approach to Model Emotional Agents Behaviour in Disaster Management Situations.
SETN
Petros Kefalas, Ilias Sakellariou, Dionysios Basakos, Ioanna Stamatopoulou
2014 — conf
Cloud e-Learning: A New Challenge for Multi-Agent Systems.
KES-AMSTA
Krenare Pireva, Petros Kefalas, Dimitris Dranidis, Thanos Hatziapostolou, Anthony J. Cowling
2014 — conf
Crowd formal modelling and simulation: The Sa'yee ritual.
UKCI
Ilias Sakellariou, Omar Kurdi, Marian Gheorghe, Daniela Romano, Petros Kefalas, Florentin Ipate, Ionut-Mihai Niculescu
2014 — conf
Evacuation Simulation through Formal Emotional Agent based Modelling.
ICAART (2)
Ilias Sakellariou, Petros Kefalas, Ioanna Stamatopoulou
2014 — conf
Experiments with Emotion Contagion in Emergency Evacuation Simulation.
WIMS
Marina Ntika, Ilias Sakellariou, Petros Kefalas, Ioanna Stamatopoulou
2014 J jnl
Formal modelling and simulation of a multi-agent nano-robotic drug delivery system.
Scalable Comput. Pract. Exp.
Marina Ntika, Petros Kefalas, Ioanna Stamatopoulou
2013 — ed.
Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013
BCI
Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis
2013 — ed.
Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013
BCI (Local)
Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis
2012 — conf
Extending X-machines to Support Representation of Spatial 2-D Agents.
ICAART (2)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
2012 B conf
Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans.
ICTAI
Ioanna Stamatopoulou, Ilias Sakellariou, Petros Kefalas
2012 — conf
Formal modelling of agents acting under artificial emotions.
BCI
Petros Kefalas, Ioanna Stamatopoulou, Dionysios Basakos
2012 — conf
sp X-Machines: Formal State-Based Modelling of Spatial Agents.
ICAART (Revised Selected Papers)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
2011 — conf
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.
WASA
Isidora Petreska, Petros Kefalas, Marian Gheorghe
2011 C conf
A methodology for developing component-based agent systems focusing on component quality.
FedCSIS
George Eleftherakis, Petros Kefalas, Evangelos Kehris
2010 — conf
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
AMCA-POP
Petros Kefalas, Ioanna Stamatopoulou
2010 — conf
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems.
Int. Conf. on Membrane Computing
Petros Kefalas, Ioanna Stamatopoulou
2009 — ed.
2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009
BCI
Petros Kefalas, Demosthenes Stamatis, Christos Douligeris
2009 J jnl
Transforming communicating X-machines into P systems.
Nat. Comput.
Petros Kefalas, Ioanna Stamatopoulou, Ilias Sakellariou, George Eleftherakis
2008 — conf
Enhancing NetLogo to Simulate BDI Communicating Agents.
SETN
Ilias Sakellariou, Petros Kefalas, Ioanna Stamatopoulou
2008 — conf
Formal Verification of Generalised State Machines.
Panhellenic Conference on Informatics
George Eleftherakis, Petros Kefalas
2008 — conf
Transforming State-Based Models to P Systems Models in Practice.
Workshop on Membrane Computing
Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe
2007 — ed.
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Workshop on Membrane Computing
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2007 J jnl
Modelling the dynamic structure of biological state-based systems.
Biosyst.
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2007 — conf
OPERAS
Workshop on Membrane Computing
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2007 — conf
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems.
ESAW
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2006 — conf
Specification of Reconfigurable MAS: A Hybrid Formal Approach.
SETN
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2005 — conf
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
CEEMAS
Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe
2005 — ch.
Formal Development of Reactive Agent-Based Systems.
Encyclopedia of Information Science and Technology (II)
Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe
2004 — conf
Modeling Biology Inspired Reactive Agents Using X-machines.
International Conference on Computational Intelligence
George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris
2004 — conf
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.
Workshop on Membrane Computing
Ioanna Stamatopoulou, Marian Gheorghe, Petros Kefalas
2004 — conf
Modelling Dynamically Organised Colonies of Bio-entities.
UPP
Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
2003 J jnl
Communicating X-machines: a practical approach for formal and modular specification of large systems.
Inf. Softw. Technol.
Petros Kefalas, George Eleftherakis, Evangelos Kehris
2002 — conf
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.
SETN
Petros Kefalas
2001 — conf
Communicating X-Machines: From Theory to Practice.
Panhellenic Conference on Informatics
Petros Kefalas, George Eleftherakis, Evangelos Kehris
1999 J jnl
A multi-agent framework to assist networked learning.
J. Comput. Assist. Learn.
Demosthenes Stamatis, Petros Kefalas, Theodoros Kargidis
1999 J jnl
OASys: an AND/OR parallel logic programming system.
Parallel Comput.
Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis
1996 — conf
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs.
Euro-Par, Vol. I
Petros Kefalas, Ioannis P. Vlahavas
1992 J jnl
A parallel Prolog resolution based on multiple unifications.
Parallel Comput.
Ioannis P. Vlahavas, Petros Kefalas
1992 J jnl
An abstract prolog machine based on parallel resolution principle.
Microprocess. Microprogramming
Ioannis P. Vlahavas, Petros Kefalas
1991 — conf
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.
RCLP
T. J. Reynolds, Petros Kefalas
1991 — conf
Controlling Search with Meta-Brave.
ICLP Workshop on Parallel Execution of Logic Programs
Petros Kefalas, T. J. Reynolds
1990 B conf
OR-Parallel Prolog and Search Problems in AI Applications.
ICLP
T. J. Reynolds, Petros Kefalas