• Fisher, M., and Barringer, H., Program Logics: A Short Survey. Technical Report number UMCS-86-11-1, Department of Computer Science, University of Manchester, Manchester M13 9PL, U.K., November 1986.

• Fisher, M., Temporal Logics for Abstract Semantics. Technical Report number UMCS-87-12-4, Department of Computer Science, University of Manchester, Manchester M13 9PL, U.K., December 1987.

• Barringer, H., Fisher, M., and Gough, G., Fair SMG and Linear Time Model Checking. In Proceedings of Workshop on Automatic Verification Methods for Finite State Systems, held in Grenoble, France, June 1989. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 407.

• Fisher, M., Characterising Temporal Logic, Technical Report number UMCS-89-10-6, Department of Computer Science, University of Manchester, Manchester M13 9PL, U.K., October 1989.

• Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R., METATEM: A Framework for Programming in Temporal Logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, held in Mook, Netherlands, June 1989. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 430.

• Barringer, H., Fisher, M., Gabbay, D., and Hunter, A., Meta-Reasoning in Executable Temporal Logic, in Proceedings of Second International Conference on Principles of Knowledge Representation and Reasoning (KR), held in Cambridge, Massachusetts, April 1991. Published by Morgan Kaufmann.

• Fisher, M., Computerphobia and Adult Learners, in Computer Education, vol. 68, June 1991.

• Fisher, M., and Barringer H., Concurrent METATEM Processes -- A Language for Distributed AI, in Proceedings of European Simulation Multiconference (ESM), held in Copenhagen, Denmark, June 1991. Published by SCS Press.

• Fisher, M., A Resolution Method for Temporal Logic, in Proceedings of Twelfth International Joint Conference on Artificial Intelligence (IJCAI), held in Sydney, Australia, August 1991. Published by Morgan Kaufmann.

• Fisher, M., and Noël P., Transformation and Synthesis in METATEM - Part I: Propositional METATEM. Technical Report number UMCS-92-2-1, Department of Computer Science, University of Manchester, Manchester M13 9PL, U.K., February 1992.

• Fisher, M., A Model Checker for Linear Time Temporal Logic, in Formal Aspects of Computing, 4(3): 299-319, 1992.

• Fisher, M., A Normal Form for First-Order Temporal Formulae, in Proceedings of Eleventh Internatiol Conference on Automated Deduction (CADE), held in Saratoga Springs, New York, June 1992. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 607.

• Fisher, M., and Owens, R., From the Past to the Future: Executing Temporal Logic Programs, in Proceedings of the Conference on Logic Programming and Automated Reasoning (LPAR), held in St. Petersberg, Russia, July 1992. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 624.

• Wooldridge, M., and Fisher, M., A First-Order Branching Time Logic of Multi-Agent Systems, in Proceedings of European Conference on Artificial Intelligence (ECAI), held in Vienna, Austria, August 1992. Published by Wiley and Sons.

• Fisher, M., and Wooldridge, M., Temporal Logic Programming for Distributed A.I., in Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI), held in Hidden Valley Resort, Pennsylvania, May 1993.

• Finger, M., Fisher, M., and Owens, R., METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic, in Proceedings of Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE), held in Edinburgh, U.K., June 1993. Published by Gordon and Breach.

• Fisher, M., Concurrent METATEM -- A Language for Modeling Reactive Systems, in Proceedings of Parallel Architectures and Languages Europe (PARLE), held in Munich, Germany, June 1993. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 694.

• Fisher, M., and Wooldridge, M., Specifying and Verifying Distributed Intelligent Systems, in Progress in AI -- Proceedings of Portuguese Conference on Artificial Intelligence (EPIA), held in Porto, Portugal, October 1993. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 727.

• Fisher, M., A Survey of Concurrent METATEM -- The Language and its Applications, in Proceedings of First International Conference on Temporal Logic (ICTL), held in Bonn, Germany, July 1994. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827.

• Wooldridge, M., and Fisher, M., A Decision Procedure for a Temporal Belief Logic, in Proceedings of First International Conference on Temporal Logic (ICTL), held in Bonn, Germany, July 1994. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827.

• Dixon, C., Fisher, M., and Barringer, H., A Graph-Based Approach To Resolution In Temporal Logic, in Proceedings of First International Conference on Temporal Logic (ICTL), held in Bonn, Germany, July 1994. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827.

• Fisher, M., and Wooldridge, M., Specifying and Executing Protocols for Cooperative Action, in International Working Conference on Cooperating Knowledge-Based Systems (CKBS), held in Keele, U.K., June 1994.

• Fisher, M., Representing and Executing Agent-Based Systems, in Wooldridge, M., and Jennings, N. (eds), Intelligent Agents -- Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, 1995. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 890.

• Fisher, M., and Wooldridge, M., A Logical Approach to the Representation of Societies of Agents, in Gilbert, N., and Conte, R. (eds), Artificial Societies, UCL Press, 1995. (Preliminary version presented at Second International Workshop on Simulating Societies, held in Siena, Italy, July 1993, is available electronically.)

• Fisher, M., and Owens, R., (eds) Executable Modal and Temporal Logics. Volume 897 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1995. (ISBN: 3-540-58976-7)

• Fisher, M., Towards a Semantics for Concurrent METATEM. in Fisher, M., and Owens, R. (eds) Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence, Springer-Verlag, February 1995.

• Fisher, M., and Owens, R., An Introduction to Executable Modal and Temporal Logics, in Fisher, M., and Owens, R. (eds) Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence, Springer-Verlag, February 1995.

• Dixon, C., Fisher, M., and Johnson, R., Parallel Temporal Resolution, in Proceedings of the Second International Workshop on Temporal Representation and Reasoning (TIME), Melbourne Beach, Florida, April 1995.

• Fisher, M., Applying Executable Temporal Logic: Implementing Concurrent Theorem-Proving, in Proceedings of IJCAI Workshop on Executable Temporal Logics, Montreal, Canada, August 1995.

• Fisher, M., and Reynolds, M., The Power of METATEM Rules, in Proceedings of IJCAI Workshop on Executable Temporal Logics, Montreal, Canada, August 1995.

• Fisher, M., Johnson, R., and Keane, J., Graph Structure Management in Parallel Symbolic Systems, in Proceedings of Seventh IASTED International Conference on Parallel and Distributed Computing Systems, Washington D.C., USA, October 1995.

• Fisher, M., and Keane, J., Realising a Concurrent Object-Based Programming Model on Parallel Virtual Shared Memory Architectures, in Programming Models for Massively Parallel Computers, IEEE Computer Society Press, 1995.

• Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R., METATEM: An Introduction, in Formal Aspects of Computing, 7(5):533-549, 1995. Springer Verlag. (Also, electronic supplement in Formal Aspects of Computing, 7(E))

• Johnson, R., Shen, K., Fisher, M., Keane, J., and Nisbet, A., An Abstract Machine For Prototyping Parallel Proof Mechanisms, in Proceedings of Abstract Machines Workshop, April 1996. IOS-Press (Concurrent Systems Engineering).

• Fisher, M., An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1), March 1996. Cambridge University Press.

• Fisher, M., Hunter, A., Owens, R., Barringer, H., Gabbay, D., Gough, G., Hodkinson, I., McBrien, P., Reynolds, M., and Brough, D., Languages, Meta-languages, and METATEM. Journal of the IGPL, 4(2), March 1996.

• Barringer, H., Fisher, M., Gabbay, D., Owens, R., and Reynolds, M., (eds) The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press, May 1996. (ISBN: 0-86380-190-0)

• Fisher, M., Wooldridge, M., and Dixon, C., A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief, in Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR), Bonn, Germany, June 1996. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 1085.

• Fisher, M., and Wooldridge, M., Towards Formal Methods for Agent-Based Systems, In D. Duke and A. Evans (eds). BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing, Springer-Verlag, 1997.

• Fisher, M., An Open Approach to Concurrent Theorem-Proving, in J. Geller, H. Kitano and C. Suttner (eds) Parallel Processing for Artificial Intelligence, 3. Elsevier/North Holland, 1997.

• Fisher, M., Kono, S., and Orgun, M., (eds). Journal of Symbolic Computation, Special Issue on Executable Temporal Logics, 22(5), November/December 1996, Academic Press.

• Fisher, M. A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation, Special Issue on Executable Temporal Logics, 22(5):627-648, November/December 1996, Academic Press.

• Fisher, M., and Wooldridge, M., On the Formal Specification and Verification of Multi-Agent Systems. In International Journal of Cooperative Information Systems, 6(1):37-65, January 1997. World Scientific Publishers.

• Fisher, M. and Kellett, A. Programming Dynamic Multi-Agent Systems. In J. Nealon and N. Taylor (eds) Proceedings of the UK Intelligent Agents Workshop, Oxford: SGES Publications, 1997. (Preliminary version available here.)

• Fisher, M., and Wooldridge, M., Distributed Problem-Solving as Concurrent Theorem-Proving. In M. Boman and W van de Velde, editors, Multi-Agent Rationality - Proceedings of the Eighth European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-97), Springer-Verlag, 1997.

• Fisher, M. If Z is the answer, what could the question possibly be?. In J. Mueller, M. Wooldridge and N. R. Jennings, editors, Intelligent Agents III. Volume 1193 of Lecture Notes in Artificial Intelligence, Springer-Verlag, January 1997.

• Fisher, M. A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4):429-456, August 1997. (Preliminary version available here.)

• Bolotov, A., and Fisher, M. A Resolution Method for CTL Branching-Time Temporal Logic. In Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME-97). IEEE Press.

• Kellett, A., and Fisher, M. Automata Representations for Concurrent METATEM. In Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME-97). IEEE Press.

• Fisher, M. and Dixon, C. Guiding Clausal Temporal Resolution. In Proceedings of Second International Conference on Temporal Logic (ICTL), Manchester, UK, July 1997. (To be published by Kluwer Academic Publishers.)

• Dixon, C., Fisher, M., and Reynolds, M. Execution and Proof in a Horn-Clause Temporal Logic. In Proceedings of Second International Conference on Temporal Logic (ICTL), Manchester, UK, July 1997. (To be published by Kluwer Academic Publishers.)

• Fisher, M. Implementing BDI-like Systems by Direct Execution. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI), Nagoya, Japan, August 1997. Published by Morgan Kaufmann.

• Dixon, C. and Fisher, M. Tableaux for Synchronous Systems of Knowledge and Time with Interactions. In Proceedings of Scandinavian Conference on Artificial Intelligence (SCAI), Helsinki, Finland, 1997. IOS Press.

• Mulder, M., Treur, J. and Fisher, M. Agent Modelling in Concurrent METATEM and DESIRE. In Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL), Rhode-Island, USA, July 1997. (To appear.)

• Kellett, A. and Fisher, M. Concurrent METATEM as a Coordination Language. In Coordination Languages and Models. Lecture Notes in Computer Science 1282, Springer-Verlag, 1997.

• Fisher, M. Refining Concurrent METATEM Objects. In, H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, 1997.

• Fisher, M., Müller, J., Schroeder, M., Staniford, G., and Wagner, G. Methodological Foundations for Agent-Based Systems. Knowledge Engineering Review, 12(3):323-329, 1997.

• Dixon, C., Fisher, M., and Wooldridge, M. Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation. (To appear.)

• Wooldridge, M., Dixon, C., and Fisher, M. A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics. (To appear.)

About this document ...

This document was generated using the LaTeX2HTML translator Version 96.1 (Feb 5, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -split 0 -address M.Fisher@doc.mmu.ac.uk mdf-pubs.tex.

The translation was initiated by Michael Fisher on Mon Mar 2 11:18:55 GMT 1998