Skip to main content
SpringerLink
Log in

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

On developing formal methods for agent-based systems

  • Part III: The Role of Theories in Building Agent-Based Systems
  • Conference paper
  • First Online:
Intelligent Agents III Agent Theories, Architectures, and Languages (ATAL 1996)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  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. E. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.

    Google Scholar 

  3. R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.

    Google Scholar 

  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. 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. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1), March 1996.

    Google Scholar 

  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. 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. 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. M. Luck, N. Griffiths and M. d'Inverno. From agent theory to agent construction: a case study. (In this volume.)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Logic & Computation Group, Department of Computing, Manchester Metropolitan University, M1 5GD, Manchester, UK

    Michael Fisher

Authors
  1. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fisher, M. (1997). If Z is the answer, what could the question possibly be?. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013576

Download citation

  • DOI: https://doi.org/10.1007/BFb0013576

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62507-0

  • Online ISBN: 978-3-540-68057-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation