Browsing by Author "Demetriou, Neophytos"
Now showing items 1-6 of 6
-
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 ...