Skip to main content
SpringerLink
Log in

MetateM: The Story so Far

  • Conference paper
Book cover Programming Multi-Agent Systems (ProMAS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3862))

Included in the following conference series:

Abstract

MetateM

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M.: The Power of Temporal Proofs. Theoretical Computer Science 64, 35–84 (1989)

    Article  MathSciNet  Google Scholar 

  2. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: A Framework for Programming in Temporal Logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol. 430, pp. 94–129. Springer, Heidelberg (1990)

    Google Scholar 

  3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An Introduction. Formal Aspects of Computing 7, 533–549 (1995)

    Article  MATH  Google Scholar 

  4. Barringer, H., Fisher, M., Gabbay, D., Hunter, A.: Meta-Reasoning in Executable Temporal Logic. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  5. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)

    Google Scholar 

  6. Barringer, H., Kuiper, R., Pnueli, A.: 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)

    Google Scholar 

  7. Benerecetti, M., Cimatti, A., Giunchiglia, E., Giunchiglia, F., Serafini, L.: Formal Specification of Beliefs inMulti-Agent Systems. In: Jennings, N.R., Wooldridge, M.J., Müller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS (LNAI), vol. 1193. Springer, Heidelberg (1997)

    Google Scholar 

  8. Birman, K.P.: The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University (July 1991)

    Google Scholar 

  9. Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and Resource-Bounded Practical Reasoning. Computational Intelligence 4, 349–355 (1988)

    Article  Google Scholar 

  10. Cimatti, A., Serafini, L.: Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, pp. 71–85. Springer, Heidelberg (1995)

    Google Scholar 

  11. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier, Amsterdam (1990)

    Google Scholar 

  12. de Ferreira, N.C., Fisher, M., van der Hoek, W.: A Logical Implementation of Uncertain Agents. In: Workshop on Multi-Agent Systems: Theory and Applications (MASTA). LNCS (LNAI). Springer, Heidelberg (2005)

    Google Scholar 

  13. Finger, M., Fisher, M., Owens, R.: 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, Reading (1993)

    Google Scholar 

  14. Fisher, M.: A Normal Form for First-Order Temporal Formulae. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 370–384. Springer, Heidelberg (1992)

    Google Scholar 

  15. Fisher, M.: A Survey of Concurrent METATEM — The Language and its Applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  16. Fisher, M.: Representing and Executing Agent-Based Systems. In: Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents. Springer, Heidelberg (1995)

    Google Scholar 

  17. Fisher, M.: A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation 22(5/6) (November/December 1996)

    Google Scholar 

  18. Fisher, M.: An Introduction to Executable Temporal Logics. Knowledge Engineering Review 11(1), 43–56 (1996)

    Article  Google Scholar 

  19. Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation 7(4) (August 1997)

    Google Scholar 

  20. Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, San Francisco (1997)

    Google Scholar 

  21. Fisher, M.: Representing Abstract Agent Architectures. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 227–241. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  22. Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems 10(1), 41–66 (2005)

    Article  Google Scholar 

  23. Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)

    Google Scholar 

  24. Fisher, M., Ghidini, C.: Agents Playing with Dynamic Resource Bounds. In: ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems, Berlin, Germany (2000)

    Google Scholar 

  25. Fisher, M., Ghidini, C.: Specifying and Implementing Agents with Dynamic Resource Bounds. In: Proceedings of Second International Cognitive Robotics Workshop, Berlin, Germany (2000)

    Google Scholar 

  26. Fisher, M., Ghidini, C.: The ABC of Rational Agent Programming. In: Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 849–856. ACM Press, New York (2002)

    Chapter  Google Scholar 

  27. Fisher, M., Ghidini, C., Hirsch, B.: Organising Logic-Based Agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 15–27. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  28. Fisher, M., Ghidini, C., Hirsch, B.: Organising Computation through Dynamic Grouping. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 117–136. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  29. Fisher, M., Ghidini, C., Hirsch, B.: Programming Groups of Rational Agents. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 16–33. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  30. Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Gergatsoulis, M., Rondogiannis, P. (eds.) Intensional Programming II. World Scientific Publishing Co., Singapore (2000)

    Google Scholar 

  31. Fisher, M., Owens, R.: From the Past to the Future: Executing Temporal Logic Programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 214–225. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  32. Fisher, M., Owens, R. (eds.): IJCAI-WS 1993. LNCS (LNAI), vol. 897. Springer, Heidelberg (1995)

    MATH  Google Scholar 

  33. Fisher, M., Wooldridge, M.: A Logical Approach to the Representation of Societies of Agents. In: Gilbert, N., Conte, R. (eds.) Artificial Societies. UCL Press, London (1995)

    Google Scholar 

  34. Fisher, M., Ghidini, C.: Agents with Bounded Temporal Resources. In: d’Inverno, M., Luck, M., Fisher, M., Preist, C. (eds.) UKMAS Workshops 1996-2000. LNCS (LNAI), vol. 2403, p. 169. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  35. Gabbay, D.: Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol. 398, pp. 402–450. Springer, Heidelberg (1989)

    Google Scholar 

  36. Ghidini, C.: Modelling (Un)Bounded Beliefs. In: Bouquet, P., Serafini, L., Brézillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol. 1688, p. 145. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  37. Giunchiglia, F., Ghidini, C.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 282–289. Morgan Kaufmann, San Francisco (1998); Long version forthcoming in Artificial Intelligence

    Google Scholar 

  38. Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics (or: how we can do without modal logics). Artificial Intelligence 65, 29–70 (1994); Also IRST-Technical Report 9110-07, IRST, Trento, Italy

    Article  MATH  MathSciNet  Google Scholar 

  39. Giunchiglia, F., Serafini, L., Giunchiglia, E., Frixione, M.: Non-Omniscient Belief as Context-Based Reasoning. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI), Chambery, France, pp. 548–554 (1993); Also IRSTTechnical Report 9206-03, IRST, Trento, Italy

    Google Scholar 

  40. Halpern, J.Y., Moses, Y.: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence 54, 319–379 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  41. Harel, D., Pnueli, A.: On the Development of Reactive Systems. Technical Report CS85- 02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel (January 1985)

    Google Scholar 

  42. Hirsch, B., Fisher, M., Ghidini, C., Busetta, P.: Organising Software in Active Environments. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 265–280. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  43. Hirsch, B.: Programming Rational Agents. PhD thesis, Department of Computer Science, University of Liverpool, United Kingdom (May 2005)

    Google Scholar 

  44. Hodkinson, I., Wolter, F., Zakharyashev, M.: Decidable Fragments of First-Order Temporal Logics. Annals of Pure and Applied Logic (2000)

    Google Scholar 

  45. Jensen, O.H., Milner, R.: Bigraphs and Mobile Processes (revised). Technical Report UCAM-CL-TR-580, Computer Lab, Cambridge University, U.K (2004)

    Google Scholar 

  46. Kellett, A.: Implementation Techniques for Concurrent METATEM. PhD thesis, Department of Computing and Mathematics, Manchester Metropolitan University (2000)

    Google Scholar 

  47. Kellett, A., Fisher, M.: Automata Representations for Concurrent METATEM. In: Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME). IEEE Press, Los Alamitos (1997)

    Google Scholar 

  48. Kellett, A., Fisher, M.: Coordinating Heterogeneous Components using Executable Temporal Logic. In: Meyer, J.-J., Treur, J. (eds.) Agents, Reasoning and Dynamics. Series of Handbooks in Defeasible Reasoning and Uncertainty Management Systems, vol. 6. Kluwer Academic publishers, Dordrecht (2001)

    Google Scholar 

  49. Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196–218. Springer, Heidelberg (1985)

    Google Scholar 

  50. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)

    Google Scholar 

  51. Nash, J.F.: Two-person Cooperative Games. Econometrica 21, 128–140 (1953)

    Article  MATH  MathSciNet  Google Scholar 

  52. Stock, O., Zancanaro, M.: Intelligent Interactive Information Presentation for Cultural Tourism. In: Proceedings of the International CLASS Workshop on Natural Intell igent and Effective Interaction in Multimodal Dialogue Systems, Copenhagen, Denmark, June 28-29 (2002)

    Google Scholar 

  53. Pliuskevicius, R.: On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1997. LNCS, vol. 1289, pp. 241–254. Springer, Heidelberg (1997)

    Google Scholar 

  54. Rao, A.S., Georgeff, M.P.: Modeling Agents within a BDI-Architecture. In: Fikes, R., Sandewall, E. (eds.) International Conference on Principles of Knowledge Representation and Reasoning (KR). Morgan Kaufmann, Cambridge (1991)

    Google Scholar 

  55. Reynolds, M.: METATEM in Intensive Care. Technical Report tr-97-01, Kings College, London (1997)

    Google Scholar 

  56. Szalas, A., Holenderski, L.: Incompleteness of First-Order Temporal Logic with Until. Theoretical Computer Science 57, 317–325 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  57. van Linder, B., van der Hoek, W., Meyer, J.J.: How to Motivate your Agents. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol. 1037, pp. 17–32. Springer, Heidelberg (1996)

    Google Scholar 

  58. Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  59. Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

  60. Wooldridge, M., Bradfield, J., Fisher, M., Pauly, M.: Game-Theoretic Interpretations of Executable Logic (unpublished paper)

    Google Scholar 

  61. Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 10(2), 115–152 (1995)

    Article  Google Scholar 

  62. Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers, Dordrecht (1999)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Liverpool, United Kingdom

    Michael Fisher

Authors
  1. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Durham, DH1 3LE, Durham, UK

    Rafael H. Bordini

  2. Utrecht University, P.O. Box 80.089, 3508, Utrecht, TB, The Netherlands

    Mehdi M. Dastani

  3. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  4. Laboratoire Informatique de Paris 6, 104 avenue du Président Kennedy, 75016, Paris, France

    Amal El Fallah Seghrouchni

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fisher, M. (2006). MetateM: The Story so Far. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2005. Lecture Notes in Computer Science(), vol 3862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678823_1

Download citation

  • DOI: https://doi.org/10.1007/11678823_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-32616-8

  • Online ISBN: 978-3-540-32617-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation