Add to ORKGWe 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 time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification
Trust and commitment have been identified as crucial concepts in electronic commerce applications. ...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal...
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 ...
none4Despite their dynamic nature, social commitments have been rarely used for monitoring purposes....
"Social commitments in time: Satisfied or compensated" was the title of a presentation given at the ...
Multiagent social commitments provide a principled basis for agent interactions, and serve as a natu...
none4Despite their dynamic nature, social commitments have rarely been used for monitoring purposes....
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and...
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...
Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological p...
Abstract. Commitments are a powerful representation for modeling multiagent interactions. Previous a...
Trust and commitment have been identified as crucial concepts in electronic commerce applications. ...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal...
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 ...
none4Despite their dynamic nature, social commitments have been rarely used for monitoring purposes....
"Social commitments in time: Satisfied or compensated" was the title of a presentation given at the ...
Multiagent social commitments provide a principled basis for agent interactions, and serve as a natu...
none4Despite their dynamic nature, social commitments have rarely been used for monitoring purposes....
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and...
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...
Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological p...
Abstract. Commitments are a powerful representation for modeling multiagent interactions. Previous a...
Trust and commitment have been identified as crucial concepts in electronic commerce applications. ...
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches ...
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal...