Search
Now showing items 1-4 of 4
The KGP model of agency for Global Computing: Computational model and prototype implementation
(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 ...
Adaptive agent negotiation via argumentation
(2006)
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented as argumentation theories within their ...
Argumentation Based Decision Making for Autonomous Agents
(2003)
This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is dynamic, with arguments and their strength ...
Reasoning about actions and change in answer set programming
(Springer Verlag, 2004)
This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness ...