Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Sadri, F."
Now showing items 1-6 of 6
-
Article
Computational logic foundations of KGP agents
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2008)This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous agents that can interact with each other, ...
-
Article
Declarative agent control
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2005)In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of ...
-
Article
Editorial
Apt, Krzysztof R.; Kakas, Antonis C.; Sadri, F. (2001)
-
Article
The KGP model of agency
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2004)This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises ...
-
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
Preface
Kakas, Antonis C.; Sadri, F. (2002)