Francisco Caballero

Learn More
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without(More)
The use of multi-agent systems (MAS) in health-care domains is increasing. Such agent-mediated medical systems can manage complex tasks and have the potential to adapt gracefully to unexpected events. However, in these kinds of systems the issues of privacy, security and trust are particularly sensitive in relation to matters such as agents' access to(More)
In this paper we extend the formalization of Carrel, a virtual organization for the procurement of tissues for transplant, to deal also with organs. We focus on the organ allocation process to show how it can be formalized with the ISLANDER specification language and we also present the first version of a mechanism to federate several(More)
; Abstract. We present a system called UCTx designed to model and automate some of the tasks performed by a Transplant Coordination Unit (UCTx) inside a Hospital. The aim of this work is to show how a multi-agent approach allows us to describe and implement the model, and how UCTx is capable of dealing with another multi-agent system (Carrel, an Agent(More)
In this paper, we present an action language which is called A P oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic programming semantics which is able to deal with reasoning under uncertain information. In order to illustrate the language, we use a medical scenario.
  • 1