Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Role monitoring in open agent societies
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
What happened to my commitment? exception diagnosis among misalignment and misbehavior
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
An Investigation of Multi-Agent Planning in CLP
Fundamenta Informaticae - On the Italian Conference on Computational Logic: CILC 2009
A Logic-Based, Reactive Calculus of Events
Fundamenta Informaticae - On the Italian Conference on Computational Logic: CILC 2009
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Diagnosing commitments: delegation revisited
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS
Cybernetics and Systems - BEST OF AGENT BASEDMODELLING AND SIMULATION 2010 (ABModSim-3)
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Formalizing commitments using action languages
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Review: logic-based event recognition
The Knowledge Engineering Review
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] 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.