Search the dblp DataBase

Publications of Author

1. Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe
   A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2005, pp:122-131 [Conf]
   
2. Petros Kefalas, Ioannis P. Vlahavas
   Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
   Euro-Par, Vol. I, 1996, pp:694-703 [Conf]
   
3. Petros Kefalas, T. J. Reynolds
   Controlling Search with Meta-Brave. [Citation Graph (0, 0)][DBLP]
   ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:29-38 [Conf]
   
4. T. J. Reynolds, Petros Kefalas
   OR-Parallel Prolog and Search Problems in AI Applications. [Citation Graph (0, 0)][DBLP]
   ICLP, 1990, pp:340-354 [Conf]
   
5. George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris
   Modeling Biology Inspired Reactive Agents Using X-machines. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Intelligence, 2004, pp:93-96 [Conf]
   
6. T. J. Reynolds, Petros Kefalas
   BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
   RCLP, 1991, pp:415-432 [Conf]
   
7. Ioanna Stamatopoulou, Marian Gheorghe, Petros Kefalas
   Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. [Citation Graph (0, 0)][DBLP]
   Workshop on Membrane Computing, 2004, pp:389-403 [Conf]
   
8. Petros Kefalas, George Eleftherakis, Evangelos Kehris
   Communicating X-Machines: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
   Panhellenic Conference on Informatics, 2001, pp:316-335 [Conf]
   
9. Petros Kefalas
   Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours. [Citation Graph (0, 0)][DBLP]
   SETN, 2002, pp:461-472 [Conf]
   
10. Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
    Specification of Reconfigurable MAS: A Hybrid Formal Approach. [Citation Graph (0, 0)][DBLP]
    SETN, 2006, pp:592-595 [Conf]
    
11. Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
    Modelling Dynamically Organised Colonies of Bio-entities. [Citation Graph (0, 0)][DBLP]
    UPP, 2004, pp:207-224 [Conf]
    
12. Petros Kefalas, George Eleftherakis, Evangelos Kehris
    Communicating X-machines: a practical approach for formal and modular specification of large systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:5, pp:269-280 [Journal]
    
13. Demosthenes Stamatis, Petros Kefalas, Theodoros Kargidis
    A multi-agent framework to assist networked learning. [Citation Graph (0, 0)][DBLP]
    J. Comp. Assisted Learning, 1999, v:15, n:3, pp:201-210 [Journal]
    
14. Ioannis P. Vlahavas, Petros Kefalas
    A parallel Prolog resolution based on multiple unifications. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1992, v:18, n:11, pp:1275-1283 [Journal]
    
15. Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis
    OASys: an AND/OR parallel logic programming system. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1999, v:25, n:3, pp:321-336 [Journal]
    
16. 
    OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    OPERAS_CC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Transforming State-Based Models to P Systems Models in Practice. [Citation Graph (, )][DBLP]
    
    
19. 
    Formal Verification of Generalised State Machines. [Citation Graph (, )][DBLP]
    
    
20. 
    Enhancing NetLogo to Simulate BDI Communicating Agents. [Citation Graph (, )][DBLP]
    
    
21. 
    Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges [Citation Graph (, )][DBLP]