Browsing by Subject "Computational logic"
Now showing items 1-4 of 4
-
Article
Agent planning, negotiation and control of operation
(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
Computational logic foundations of KGP agents
(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
The KGP model of agency
(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 ...
-
Article
The scientific contribution of marek sergot
(2012)Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...