Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Demetriou, Neophytos"
Now showing items 1-5 of 5
-
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
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 ...