A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Social commitment protocols regulate interactions of agents in multiagent systems. Several methods have been developed to analyze properties of commitment protocols. ... Secondly, we identify two essential properties of an agent with respect to a commitment protocol, namely compliance and goal satisfaction. ... This work is supported by "Formal Verification on Cloud" project under Grant No: M4081155.020 and "Bring the Advanced Model Checking Techniques to Real-world Problems" project under Grant No: M4011178.020 ...doi:10.1613/jair.5135 fatcat:o5ki76vqazefhlusnbcvedm2pe
We propose Cupid, a language for specifying commitments that supports their information-centric aspects, and offers crucial benefits. ... Three, Cupid maps to relational database queries and thus provides a set-based semantics for retrieving commitment instances in states such as being violated, discharged, and so on. ... Acknowledgments Munindar Singh was partially supported by U.S. Department of Defense under the Science of Security Lablet grant. ...doi:10.1609/aaai.v29i1.9443 fatcat:hfp7tn2cmbegtlmfnx4qohxa2y