Learn More
The theory of analog computation, where the internal states of a computer are continuous rather than discrete, has enjoyed a recent resurgence of interest. Here, we explore recursion theory on the reals, the analog counterpart of recursive function theory. There, the discrete operations, such as primitive recursion or bounded sums and products, are replaced(More)
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social(More)
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instrumental goal adoption. For this purpose, we analyze social dependency patterns and its corresponding dependency networks. The networks are used as a source of quantitative and(More)
Autonomous agents are being used in an increasing number of applications. The agents operate in complex environments and, over time, conflicts inevitably occur among them. Negotiation is the predominant process for resolving conflicts. This paper presents a generic negotiation model for autonomous agents that handles multi-party, multi-issue and single or(More)
Autonomous agents operate in complex environments and, over time, conflicts inevitably occur among them. Negotiation is the predominant process for resolving conflicts. This paper presents a generic negotiation model for autonomous agents that handles multi-party, multi-issue and repeated rounds. The model is based on com-putationally tractable assumptions,(More)
AMPLIA is a multi-agent intelligent learning environment designed to support training of diagnostic reasoning and modelling of domains with complex and uncertain knowledge. AMPLIA focuses on the medical area. It is a system that deals with uncertainty under the Bayesian network approach, where learner-modelling tasks will consist of creating a Bayesian(More)