Search
Now showing items 1-5 of 5
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 ...
Crafting the mind of prosocs agents
(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 ...
Modular-ε: An elaboration tolerant approach to the ramification and qualification problems
(2005)
We describe Modular-ε (Mε), a specialized, modeltheoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
Abduction and induction for learning models of inhibition in metabolic networks
(2005)
This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
Application of abductive ILP to learning metabolic network inhibition from temporal data
(2006)
In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...