Author of the publication

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.

 

Other publications of authors with the same name

Locally Determined Logic Programs and Recursive Stable Models., , and . Ann. Math. Artif. Intell., 40 (3-4): 225-262 (2004)Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels., , and . AI&M, (2000)Common Derivations in Locally Determined Logic Programs., and . AI&M, (2002)Formal Methods for Autonomic and Swarm-based Systems., , , , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 100-102. Department of Computer Science, University of Cyprus, (2004)Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems., , , , and . SEFM, page 24-33. IEEE Computer Society, (2004)Verification of Nasa Emergent Systems., , , , and . AIAI, volume 154 of IFIP, page 167-176. Kluwer/Springer, (2004)Locally Determined Logic Programs., , and . LPNMR, volume 1730 of Lecture Notes in Computer Science, page 34-48. Springer, (1999)Verification of Emergent Behaviors in Swarm-based Systems., , , , and . ECBS, page 443-448. IEEE Computer Society, (2004)