Dealing with time in Content Language expressions

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3396, Issue , 2005, Pages 91-105

  Verdicchio, Mario ^a   Colombetti, Marco ^a,b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; STANDARDS;

COMMUNICATION STANDARDS; CONTENT LANGUAGE EXPRESSIONS; TEMPORAL CONSTRAINTS; TEMPORAL LANGUAGES;

MULTI AGENT SYSTEMS;

EID: 26844465174     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32258-0_7     Document Type: Conference Paper

References (19)

1. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, 1984.
2. st Annual Hawaii International Conference on System Sciences, volume 5, pages 186-195. IEEE Computer Society, 1998.
3. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. MIT Press, Cambridge, MA, 1990.
4. E. A. Emerson and J. Y. Halpern. 'Sometimes' and 'not never' revisited. Journal of the ACM, 33(1):151-178, January 1986.
5. FIPA. FIPA SL Content Language Specification. Specification, Foundation for Intelligent Physical Agents, http://www.fipa.org/specs/fipa00008/, 2002.
6. st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 02), pages 535-542. ACM Press, 2002.
7. th International Colloquium on Automata, Languages and Programming (ICALP), volume 267 of Lecture Notes in Computer Science, pages 269-279. Springer-Verlag, Heidelberg, Germany, 1987.
8. th Annual IEEE Symposium on Logic in Computer Science, pages 25-35, San Diego, California, 1995. IEEE Computer Society Press.
9. F. Laroussinie and P. Schnoebelen. A hierarchy of temporal logics with past. Theoretical Computer Science, 148(2):303-324, 1995.
10. O. Lichtenstein, A. Pnueli, and L. Zuck. The glory of the past. In R. Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, pages 196-218. Springer-Verlag, Berlin, Germany, 1985.
11. A. U. Mallya, P. Yolum, and M. P. Singh. Resolving commitments among autonomous agents. In F. Dignum, editor, Advances in Agent Communication, Proceedings of the Interbational Workshop on Agent Communication Languages (ACL 2003), volume 2922 of Lecture Notes in Artificial Intelligence, pages 166-182. Springer-Verlag, Berlin, Germany, 2004.
12. H. J. Ohlbach and D. Gabbay. Calendar logic. Journal of Applied Non-classical Logics, 8(4):291-324, 1998.
13. H. Reichenbach. Elements of Symbolic Logic. MacMillan, New York, NY, 1947.
14. th Annual IEEE Symposium on Logic in Computer Science (LICS'00), pages 229-240. IEEE Comp. Soc. Press, 2000.
15. M. Reynolds. An axiomatization of PCTL*. Draft, Murdoch University, Perth, Australia, January 2002.
16. th International Workshop on Advances in Modal Logic (AiML'02). World Scientific Publishers, 2003. To appear.
17. C. Stirling. Modal and temporal logics. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Philosophical Logic, Volume 2, pages 477-563. Oxford University Press, Oxford, England, 1992.
18. R. Thomason. Combinations of tense and modality. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol II: Extensions of Classical Logic, pages 135-165. Reidel, Dordrecht, The Netherlands, 1984.
19. nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 03), pages 528-535. ACM Press, 2003.