If Z is the answer, what could the question possibly be?

On developing formal methods for agent-based systems
  • Michael Fisher
Part III: The Role of Theories in Building Agent-Based Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1193)


  1. 1.
    H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds (editors). The Imperative Future. Chichester, UK: Research Studies Press, May 1996.Google Scholar
  2. 2.
    E. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.Google Scholar
  3. 3.
    R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.Google Scholar
  4. 4.
    M. Fisher. A Survey of Concurrent MetateM—the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827), pages 480–505. Springer-Verlag: Heidelberg, Germany, July 1994.Google Scholar
  5. 5.
    M. Fisher. Representing and Executing Agent-Based Systems. In, M. Wooldridge and N. R. Jennings (editors), Intelligent Agents. Lecture Notes in AI, Springer-Verlag, 1995.Google Scholar
  6. 6.
    M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1), March 1996.Google Scholar
  7. 7.
    M. Fisher and M. Wooldridge. Towards Formal Methods for Agent-Based Systems. In Proceedings of the Northern Formal Methods Workshop, Ilkley, UK, September 1996. (To appear as an Electronic Workshop in Computing, Springer-Verlag.)Google Scholar
  8. 8.
    M. Fisher and M. Wooldridge. On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperating Information Systems, 6(1), January 1997.Google Scholar
  9. 9.
    M. Fisher, M. Wooldridge, and C. Dixon. A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. In Proceedings of the International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, June 1996.Google Scholar
  10. 10.
    M. Luck, N. Griffiths and M. d'Inverno. From agent theory to agent construction: a case study. (In this volume.)Google Scholar
  11. 11.
    A. Rao and M. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Michael Fisher
    • 1
  1. 1.Logic & Computation Group, Department of ComputingManchester Metropolitan UniversityManchesterUK

Personalised recommendations