( en | de | ru )

 

Disambiguation of "Kefalas, Petros"

Author of the publication

copydeleteadd this publication to your clipboard
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs.

, and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 694-703. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Petros Martirosian

Quantitative magnetic resonance perfusion imaging in body regions with susceptibility alterations using FAIR True-FISP sequences. Uni Tübingen, (2009)

Petros Chryssikopoulos

Petros Sainis

Petros Pyriki

Petros Stylianou

 

Other publications of authors with the same name

A multi-agent framework to assist networked learning., , and . J. Comput. Assist. Learn., 15 (3): 201-210 (1999)Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs., and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 694-703. Springer, (1996)Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.. SETN, volume 2308 of Lecture Notes in Computer Science, page 461-472. Springer, (2002)Towards a Complete Covering of SBML Functionalities, , , , , and . Membrane Computing, volume 4860 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2007)Communicating X-machines: a practical approach for formal and modular specification of large systems., , and . Inf. Softw. Technol., 45 (5): 269-280 (2003)A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems., , and . WASA, volume 752 of CEUR Workshop Proceedings, page 37-44. CEUR-WS.org, (2011)Emotional Agents Make a (Bank) Run., , and . EUMAS/AT, volume 12520 of Lecture Notes in Computer Science, page 171-187. Springer, (2020)OR-Parallel Prolog and Search Problems in AI Applications., and . ICLP, page 340-354. MIT Press, (1990)OASys: an AND/OR parallel logic programming system., , and . Parallel Comput., 25 (3): 321-336 (1999)Membrane Computing, , , , , and . volume 4860 of Lecture Notes in Computer Science, chapter Towards a Complete Covering of SBML Functionalities, page 353-366. Springer Berlin / Heidelberg, (2007)