"Social commitments in time: Satisfied or compensated" was the title of a presentation given at the 7th DALT workshop edition, in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to diverse commitment theories, and expressive enough to model realistic scenarios. We grounded the framework on two formalisms: the Reactive Event Calculus (REC) and the Commitment Modeling Language (CML). In this retrospective, we review recent developments of this line of work, and discuss our contribution in a broader context of related research
Employees form commitments to multiple targets, and the coordination of those multiple commitments h...
Commitment protocols are modularized specifications of interactions understood in terms of commitmen...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...
"Social commitments in time: Satisfied or compensated" was the title of a presentation given at the ...
We define a framework based on computational logic technology and on a reactive axiomatization of th...
Abstract. We define a framework based on computational logic technol-ogy and on a reactive axiomatiz...
none4We define a framework based on computational logic technology and on a reactive axiomatization ...
Multiagent social commitments provide a principled basis for agent interactions, and serve as a natu...
none4Despite their dynamic nature, social commitments have been rarely used for monitoring purposes....
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and...
none4Despite their dynamic nature, social commitments have rarely been used for monitoring purposes....
none4Runtime commitment verification is an important, open issue in multiagent research. To address ...
As part of the goal of developing a genuinely open multiagent system, many efforts are devoted to th...
Abstract. Commitments are a powerful representation for modeling multiagent interactions. Previous a...
The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for t...
Employees form commitments to multiple targets, and the coordination of those multiple commitments h...
Commitment protocols are modularized specifications of interactions understood in terms of commitmen...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...
"Social commitments in time: Satisfied or compensated" was the title of a presentation given at the ...
We define a framework based on computational logic technology and on a reactive axiomatization of th...
Abstract. We define a framework based on computational logic technol-ogy and on a reactive axiomatiz...
none4We define a framework based on computational logic technology and on a reactive axiomatization ...
Multiagent social commitments provide a principled basis for agent interactions, and serve as a natu...
none4Despite their dynamic nature, social commitments have been rarely used for monitoring purposes....
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and...
none4Despite their dynamic nature, social commitments have rarely been used for monitoring purposes....
none4Runtime commitment verification is an important, open issue in multiagent research. To address ...
As part of the goal of developing a genuinely open multiagent system, many efforts are devoted to th...
Abstract. Commitments are a powerful representation for modeling multiagent interactions. Previous a...
The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for t...
Employees form commitments to multiple targets, and the coordination of those multiple commitments h...
Commitment protocols are modularized specifications of interactions understood in terms of commitmen...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...