Petros Kefalas
Orcid: 0000-0002-6846-7374
According to our database1,
Petros Kefalas
authored at least 51 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Prolog: The Next 50 Years, 2023
2020
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
2018
Comput. Sci. Inf. Syst., 2018
An authentic student research experience: fostering research skills and boosting the employability profile of students.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
2017
Proceedings of the 8th International Conference on Information, 2017
Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum.
Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017
Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017
Proceedings of the 8th Balkan Conference in Informatics, 2017
Proceedings of the 8th Balkan Conference in Informatics, 2017
2016
The Role of Emotions, Mood, Personality and Contagion in Multi-agent System Decision Making.
Proceedings of the Artificial Intelligence Applications and Innovations, 2016
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016
2015
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015
From Formal Modelling to Agent Simulation Execution and Testing.
Proceedings of the ICAART 2015, 2015
2014
Scalable Comput. Pract. Exp., 2014
Proceedings of the 4th International Conference on Web Intelligence, 2014
Proceedings of the 14th UK Workshop on Computational Intelligence, 2014
A Formal Approach to Model Emotional Agents Behaviour in Disaster Management Situations.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014
Proceedings of the ICAART 2014, 2014
2012
Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012
Extending X-machines to Support Representation of Spatial 2-D Agents.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012
Proceedings of the Balkan Conference in Informatics, 2012, 2012
2011
A methodology for developing component-based agent systems focusing on component quality.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.
Proceedings of the Workshop on Applications of Software Agents, 2011
2010
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems.
Proceedings of the Membrane Computing, 2010
2009
2008
Proceedings of the Artificial Intelligence: Theories, 2008
Proceedings of the Panhellenic Conference on Informatics, 2008
Proceedings of the Membrane Computing - 9th International Workshop, 2008
2007
OPERAS<sub>CC</sub>: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems.
Proceedings of the Engineering Societies in the Agents World VIII, 2007
2006
Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006
2005
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
Proceedings of the Multi-Agent Systems and Applications IV, 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
2004
Proceedings of the Unconventional Programming Paradigms, 2004
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004
Modeling Biology Inspired Reactive Agents Using X-machines.
Proceedings of the International Conference on Computational Intelligence, 2004
2003
Communicating X-machines: a practical approach for formal and modular specification of large systems.
Inf. Softw. Technol., 2003
2002
Proceedings of the Methods and Applications of Artificial Intelligence, 2002
2001
Proceedings of the Advances in Informatics, 8th Panhellenic Conference on Informatics, 2001
1999
J. Comput. Assist. Learn., 1999
1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
1992
Microprocess. Microprogramming, 1992
1991
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
Proceedings of the Parallel Execution of Logic Programs, 1991
1990
OR-Parallel Prolog and Search Problems in AI Applications.
Proceedings of the Logic Programming, 1990