default search action
Petros Kefalas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [p1]Nick Bassiliades
, Ilias Sakellariou
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. Prolog: The Next 50 Years 2023: 71-81 - 2020
- [c40]Konstantinos Grevenitis
Emotional Agents Make a (Bank) Run. EUMAS/AT 2020: 171-187
2010 – 2019
- 2018
- [j9]Petros Kefalas
Using screencasts to enhance coding skills: The case of logic programming? Comput. Sci. Inf. Syst. 15(3): 775-798 (2018) - [c39]Thanos Hatziapostolou
An authentic student research experience: fostering research skills and boosting the employability profile of students. ITiCSE 2018: 254-259 - 2017
- [c38]Petros Kefalas
The Invalidity of Validating Emotional Multi-Agent Systems Simulations. BCI 2017: 8:1-8:8 - [c37]Petros Kefalas
Using Screencasts to Enhance Logic Programming Skills. BCI 2017: 26:1-26:8 - [c36]Krenare Pireva, Petros Kefalas
A Recommender System Based on Hierarchical Clustering for Cloud e-Learning. IDC 2017: 235-245 - [c35]Ioanna Stamatopoulou
Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum. IDC 2017: 321-332 - [c34]Krenare Pireva
Representation of learning objects in cloud e-learning. IISA 2017: 1-6 - [e5]Katerina Zdravkova, George Eleftherakis, Petros Kefalas:
Proceedings of the 8th Balkan Conference in Informatics, BCI 2017, Skopje, Macedonia, September 20 - 23, 2017. ACM 2017, ISBN 978-1-4503-5285-7 [contents] - 2016
- [c33]Petros Kefalas
The Role of Mood on Emotional Agents Behaviour. ICCCI (1) 2016: 53-63 - [c32]Ilias Sakellariou
The Role of Emotions, Mood, Personality and Contagion in Multi-agent System Decision Making. AIAI 2016: 359-370 - 2015
- [c31]Ilias Sakellariou
Stream X-Machines for Agent Simulation Test Case Generation. ICAART (Revised Selected Papers) 2015: 37-57 - [c30]Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas:
From Formal Modelling to Agent Simulation Execution and Testing. ICAART (1) 2015: 87-98 - 2014
- [j8]Marina Ntika, Petros Kefalas
Formal modelling and simulation of a multi-agent nano-robotic drug delivery system. Scalable Comput. Pract. Exp. 15(3) (2014) - [c29]Ilias Sakellariou
Evacuation Simulation through Formal Emotional Agent based Modelling. ICAART (2) 2014: 193-200 - [c28]Krenare Pireva, Petros Kefalas
Cloud e-Learning: A New Challenge for Multi-Agent Systems. KES-AMSTA 2014: 277-287 - [c27]Petros Kefalas
A Formal Approach to Model Emotional Agents Behaviour in Disaster Management Situations. SETN 2014: 237-250 - [c26]Ilias Sakellariou
Crowd formal modelling and simulation: The Sa'yee ritual. UKCI 2014: 1-8 - [c25]Marina Ntika, Ilias Sakellariou
Experiments with Emotion Contagion in Emergency Evacuation Simulation. WIMS 2014: 49:1-49:11 - 2013
- [e4]Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis:
Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. ACM 2013, ISBN 978-1-4503-1851-8 [contents] - [e3]Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis:
Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013. CEUR Workshop Proceedings 1036, CEUR-WS.org 2013 [contents] - 2012
- [c24]Petros Kefalas
Formal modelling of agents acting under artificial emotions. BCI 2012: 40-45 - [c23]Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou:
Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) 2012: 54-61 - [c22]Isidora Petreska, Petros Kefalas
sp X-Machines: Formal State-Based Modelling of Spatial Agents. ICAART (Revised Selected Papers) 2012: 379-391 - [c21]Ioanna Stamatopoulou
Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans. ICTAI 2012: 1133-1138 - 2011
- [c20]Isidora Petreska, Petros Kefalas, Marian Gheorghe:
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. WASA 2011: 37-44 - [c19]George Eleftherakis, Petros Kefalas, Evangelos Kehris:
A methodology for developing component-based agent systems focusing on component quality. FedCSIS 2011: 561-568 - 2010
- [c18]Petros Kefalas
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems. Int. Conf. on Membrane Computing 2010: 265-272 - [c17]Petros Kefalas
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges. AMCA-POP 2010: 71-82
2000 – 2009
- 2009
- [j7]Petros Kefalas
Transforming communicating X-machines into P systems. Nat. Comput. 8(4): 817-832 (2009) - [e2]Petros Kefalas, Demosthenes Stamatis, Christos Douligeris:
2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3783-2 [contents] - 2008
- [c16]Petros Kefalas
Transforming State-Based Models to P Systems Models in Practice. Workshop on Membrane Computing 2008: 260-273 - [c15]George Eleftherakis
Formal Verification of Generalised State Machines. Panhellenic Conference on Informatics 2008: 227-231 - [c14]Ilias Sakellariou
Enhancing NetLogo to Simulate BDI Communicating Agents. SETN 2008: 263-275 - 2007
- [j6]Ioanna Stamatopoulou
Modelling the dynamic structure of biological state-based systems. Biosyst. 87(2-3): 142-149 (2007) - [c13]Ioanna Stamatopoulou
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW 2007: 158-174 - [c12]Ioanna Stamatopoulou
OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. Workshop on Membrane Computing 2007: 438-452 - [e1]George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science 4860, Springer 2007, ISBN 978-3-540-77311-5 [contents] - 2006
- [c11]Ioanna Stamatopoulou
Specification of Reconfigurable MAS: A Hybrid Formal Approach. SETN 2006: 592-595 - 2005
- [c10]Petros Kefalas
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. CEEMAS 2005: 122-131 - [r1]Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe:
Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) 2005: 1201-1204 - 2004
- [c9]George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris:
Modeling Biology Inspired Reactive Agents Using X-machines. International Conference on Computational Intelligence 2004: 93-96 - [c8]Ioanna Stamatopoulou
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. Workshop on Membrane Computing 2004: 389-403 - [c7]Marian Gheorghe, Ioanna Stamatopoulou
Modelling Dynamically Organised Colonies of Bio-entities. UPP 2004: 207-224 - 2003
- [j5]Petros Kefalas
Communicating X-machines: a practical approach for formal and modular specification of large systems. Inf. Softw. Technol. 45(5): 269-280 (2003) - 2002
- [c6]Petros Kefalas
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours. SETN 2002: 461-472 - 2001
- [c5]Petros Kefalas
Communicating X-Machines: From Theory to Practice. Panhellenic Conference on Informatics 2001: 316-335
1990 – 1999
- 1999
- [j4]Demosthenes Stamatis, Petros Kefalas, Theodoros Kargidis:
A multi-agent framework to assist networked learning. J. Comput. Assist. Learn. 15(3): 201-210 (1999) - [j3]Ioannis P. Vlahavas
OASys: an AND/OR parallel logic programming system. Parallel Comput. 25(3): 321-336 (1999) - 1996
- [c4]Petros Kefalas, Ioannis P. Vlahavas:
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. Euro-Par, Vol. I 1996: 694-703 - 1992
- [j2]Ioannis P. Vlahavas
An abstract prolog machine based on parallel resolution principle. Microprocess. Microprogramming 35(1-5): 755-762 (1992) - [j1]Ioannis P. Vlahavas
A parallel Prolog resolution based on multiple unifications. Parallel Comput. 18(11): 1275-1283 (1992) - 1991
- [c3]Petros Kefalas, T. J. Reynolds:
Controlling Search with Meta-Brave. ICLP Workshop on Parallel Execution of Logic Programs 1991: 29-38 - [c2]T. J. Reynolds, Petros Kefalas:
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. RCLP 1991: 415-432 - 1990
- [c1]T. J. Reynolds, Petros Kefalas:
OR-Parallel Prolog and Search Problems in AI Applications. ICLP 1990: 340-354
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: