Now showing items 41-43 of 43
(Springer, 2010)We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum's formalization of agent organizations, on the SOCS computational logic agent framework and on ...
(Springer, 2010)We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with ...