Petros Kefalas

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 10

Top Topics

Hierarchical Clustering

Test Case Generation

Logic Programming

Top Venues

ICAART (Revised Selected Papers)

Publications

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