The benefits of relaxing punctuality
Journal of the ACM (JACM)
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Modal logic
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Temporal logics for normative agent communication protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Eliciting expectations for monitoring social interactions
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Open issues for normative multi-agent systems
AI Communications
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.