• Article  

      Agent planning, negotiation and control of operation 

      Kakas, Antonis C.; Torroni, P.; Demetriou, Neophytos (2004)
      This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...
    • Article  

      Allele distribution of 15 STR loci used for human identity purposes in the Greek Cypriot population of the island of Cyprus 

      Cariolou, Marios A.; Manoli, Panayiotis; Demetriou, Neophytos; Bashiardes, Evy; Karagrigoriou, Alex; Budowle, Bruce (2006)
      Allele frequencies for 15 STRs (D3S1358, vWA, FGA, D8S1179, D21S11, D18S51, D5S818, D13S317, D7S820, THO1, Penta E, D16S539, CSF1PO, Penta D and TPOX) in the PowerPlex®-16 System (Promega Corporation) were derived from a ...
    • Article  

      A combinatorial characterization of properties preserved by antitokens 

      Busch, Costas; Demetriou, Neophytos; Herlihy, M.; Mavronicolas, Marios (2000)
      Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distribution of the tokens on the network’s ...
    • Article  

      Crafting the mind of prosocs agents 

      Bracciali, A.; Endriss, U.; Demetriou, Neophytos; Kakas, Antonis C.; Lu, W.; Stathis, Kostas (2006)
      PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing ...
    • Conference Object  

      The KGP model of agency for Global Computing: Computational model and prototype implementation 

      Bracciali, A.; Demetriou, Neophytos; Endriss, U.; Kakas, Antonis C.; Lu, W.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Terreni, G.; Toni, F. (2005)
      We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic ...
    • Article  

      Threshold counters with increments and decrements 

      Busch, Costas; Demetriou, Neophytos; Herlihy, M.; Mavronicolas, Marios (2002)
      A threshold counter is a shared data structure that assumes integer values. It provides two operations: Increment changes the current counter value from v to v+1, while Read returns the value [v/w], where v is the current ...