Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
A rule language for modelling and monitoring social expectations in multi-agent systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Hi-index | 0.00 |
Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate themselves. New proposals about ACL semantics based on social commitments aim at countering the shortcomings of the mainstream mental-state-based ones. The commitment solution does not come for free and calls for an adequate monitoring system that checks whether commitments are fulfilled or not.