METATEM: The story so far

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3862 LNAI, Issue , 2006, Pages 3-22

  Fisher, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745661231     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11678823_1     Document Type: Conference Paper

References (69)

1. M. Abadi. The Power of Temporal Proofs. Theoretical Computer Science, 64:35-84, 1989.
2. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: A Framework for Programming in Temporal Logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989.
3. (Published in Lecture Notes in Computer Science, volume 430, Springer Verlag).
4. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An Introduction. Formal Aspects of Computing, 7(5):533-549, 1995.
5. H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann.
6. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, editors. The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester, United Kingdom, 1996.
7. H. Barringer, R. Kuiper, and A. Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, St. Petersberg Beach, Florida, January 1986.
8. M. Benerecetti, A. Cimatti, E. Giunchiglia, F. Giunchiglia, and L. Serafini. Formal Specification of Beliefs in Multi-Agent Systems. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III - Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996.
9. K. P. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University, July 1991.
10. M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and Resource-Bounded Practical Reasoning. Computational Intelligence, 4:349-355, 1988.
11. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 71-85. Springer-Verlag: Heidelberg, Germany, January 1995.
12. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier, 1990.
13. N. de C. Ferreira, M. Fisher, and W. van der Hoek. A Logical Implementation of Uncertain Agents. In Workshop on Multi-Agent Systems: Theory and Applications (MASTA), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
14. M. Finger, M. Fisher, and R. Owens. METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic. In Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE), Edinburgh, U.K., June 1993. Gordon and Breach Publishers.
15. M. Fisher. A Normal Form for First-Order Temporal Formulae. In Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992.
16. (Published in Lecture Notes in Computer Science, volume 607, Springer-Verlag).
17. M. Fisher. A Survey of Concurrent METATEM -The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994.
18. (Published in Lecture Notes in Computer Science, volume 827, Springer-Verlag).
19. M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.
20. M. Fisher. A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation, 22(5/6), November/December 1996.
21. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43-56, March 1996.
22. M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4), August 1997.
23. M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997.
24. M. Fisher. Representing Abstract Agent Architectures. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V- Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999.
25. M. Fisher. Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems, 10(1):41-66, January 2005.
26. M. Fisher and C. Ghidini. Programming Resource-Bounded Deliberative Agents. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1999.
27. M. Fisher and C. Ghidini. Agents Playing with Dynamic Resource Bounds. In ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems, Berlin, Germany, 2000.
28. M. Fisher and C. Ghidini. Specifying and Implementing Agents with Dynamic Resource Bounds. In Proceedings of Second International Cognitive Robotics Workshop, Berlin, Germany, 2000.
29. M. Fisher and C. Ghidini. The ABC of Rational Agent Programming. In Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 849-856. ACM Press, July 2002.
30. M. Fisher, C. Ghidini, and B. Hirsch. Organising Logic-Based Agents. In M. Hinchey, J. Rash, W. Truszkowski, C. Rouff, and D. Gordon-Spears, editors, Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, volume 2699 of Lecture Notes in Computer Science, pages 15-27. Springer, 2003.
31. M. Fisher, C. Ghidini, and B. Hirsch. Organising Computation through Dynamic Grouping. In Objects, Agents and Features, volume 2975 of Lecture Notes in Computer Science, pages 117-136. Springer-Verlag, 2004.
32. M. Fisher, C. Ghidini, and B. Hirsch. Programming Groups of Rational Agents. In Computational Logic in Multi-Agent Systems (CLIMA-IV), volume 3259 of 849-856. Springer-Verlag, November 2004.
33. M. Fisher and T. Kakoudakis. Flexible Agent Grouping in Executable Temporal Logic. In Gergatsoulis and Rondogiannis, editors, Intensional Programming II. World Scientific Publishing Co., March 2000.
34. M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In Proceedings of Logic Programming and Automated Reasoning (LPAR), St. Petersberg, Russia, July 1992.
35. (Published in Lecture Notes in Computer Science, volume 624, Springer-Verlag).
36. M. Fisher and R. Owens, editors. Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, Germany, February 1995.
37. M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In N. Gilbert and R. Conte, editors, Artificial Societies. UCL Press, 1995.
38. M. Fisher and C. Ghidini. Agents with Bounded Temporal Resources. Lecture Notes in Computer Science, 2403:169-??, 2002.
39. D. Gabbay. Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors. Proceedings of Colloquium on Temporal Logic in Specification, pages 402-450, Altrincham, U.K., 1987.
40. (Published in Lecture Notes in Computer Science, volume 398, Springer-Verlag).
41. C. Ghidini. Modelling (Un)Bounded Beliefs. In Proc. Second International and Interdisciplinary Conf. on Modeling and Using Context (CONTEXT), Trento, Italy, 1999.
42. F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 282-289, Trento, 1998. Morgan Kaufmann. Long version forthcoming in "Artificial Intelligence".
43. F. Giunchiglia and L. Serafini. Multilanguage Hierarchical Logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994.
44. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
45. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI), pages 548-554, Chambery, France, 1993.
46. Also IRST-Technical Report 9206-03, IRST, Trento, Italy.
47. J. Y. Halpern and Y. Moses. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence, 54:319-379, 1992.
48. D. Harel and A. Pnueli. On the Development of Reactive Systems. Technical Report CS85-02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel, January 1985.
49. B. Hirsch, M. Fisher, C. Ghidini, and P. Busetta. Organising Software in Active Environments. In Computational Logic in Multi-Agent Systems (CLIMA-V), volume 3487 of Lecture Notes in Computer Science. Springer-Verlag, 2005.
50. B. Hirsch. Programming Rational Agents. PhD thesis, Department of Computer Science, University of Liverpool, United Kingdom, May 2005.
51. I. Hodkinson, F. Woher, and M. Zakharyashev. Decidable Fragments of First-Order Temporal Logics. Annals of Pure and Applied Logic, 2000.
52. O. H. Jensen and R. Milner. Bigraphs and Mobile Processes (revised). Technical Report UCAM-CL-TR-580, Computer Lab, Cambridge University, U.K., 2004.
53. A. Kellett. Implementation Techniques for Concurrent METATEM. PhD thesis, Department of Computing and Mathematics, Manchester Metropolitan University, 2000.
54. A. Kellett and M. Fisher. Automata Representations for Concurrent METATEM. In Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME). IEEE Press, May 1997.
55. A. Kellett and M. Fisher. Coordinating Heterogeneous Components using Executable Temporal Logic. In Meyer and Treur, editors, Agents, Reasoning and Dynamics, Vol. 6 in Series of Handbooks in Defeasible Reasoning and Uncertainty Management Systems. Kluwer Academic publishers, 2001.
56. O. Lichtenstein, A. Pnueli, and L. Zuck. The Glory of the Past. Lecture Notes in Computer Science, 193:196-218, June 1985.
57. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
58. J. F Nash. Two-person Cooperative Games. Econometrica, 21:128-140, 1953.
59. O. Stock and M. Zancanaro. Intelligent Interactive Information Presentation for Cultural Tourism. In Proceedings of the International CLASS Workshop on Natural Intelligent and Effective Interaction in Multimodal Dialogue Systems, Copenhagen, Denmark, 28-29 June 2002.
60. R. Pliuskevicius. On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic. In LNCS 1289, pages 241-254. Springer-Verlag, 1997.
61. A. S. Rao and M. P. Georgeff. Modeling Agents within a BDI-Architecture. In R. Fikes and E. Sandewall, editors, International Conference on Principles of Knowledge Representation andReasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann.
62. M. Reynolds. METATEM in Intensive Care. Technical Report tr-97-01, Kings College, London, 1997.
63. A. Szalas and L. Holenderski. Incompleteness of First-Order Temporal Logic with Until. Theoretical Computer Science, 57:317-325, 1988.
64. B. van Linder, W. van der Hoek, and J. J. Ch. Meyer. How to Motivate your Agents. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI 1037), pages 17-32. Springer-Verlag: Heidelberg, Germany, 1996.
65. M. Wooldridge. Reasoning about Rational Agents. MIT Press, 2000.
66. M. Wooldridge. An Introduction to Multiagent Systems. John Wiley & Sons, 2002.
67. M. Wooldridge, J. Bradfield, M. Fisher, and M. Pauly. Game-Theoretic Interpretations of Executable Logic. (Unpublished paper.).
68. M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2): 115-152, 1995.
69. M. Wooldridge and A. Rao, editors. Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers, March 1999.