Towards a general theory of action and time
Artificial Intelligence
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
14th International Colloquium on Automata, languages and programming
Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 2)
A hierarchy of temporal logics with past
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Proceedings of the Conference on Logic of Programs
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Obligations and Dense Time for Specifying Deadlines
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Information and Computation
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A Commitment-Based Communicative Act Library
Agent Communication II
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
From Message Exchanges to Communicative Acts to Commitments
Electronic Notes in Theoretical Computer Science (ENTCS)
Locutions for argumentation in agent interaction protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
| Hi-index | 0.00 |
The ability to express temporal conditions, like for example deadlines, is extremely important in agent applications. Nevertheless, communication standards like FIPA ACL do not outline a uniform way to specify such conditions in Content Language expressions. In this paper we extend a CTL*-like temporal language with two very expressive interval operators, and integrate it with a FIPA-compatible representation of dates. We then show, by a number of selected examples, that the resulting language allows agents to express a rich assortment of temporal constraints in a very natural way.