Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
Abstract: This paper presents a multiagent architecture and algorithms for collaborative, self-organizing learning in distributed, heterogeneous and dynamic business systems, where...
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...