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., M ETATE M: 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., 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., 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.
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., M ETATE M 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 M ETATE M -- 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.
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., 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 M ETATE M . 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 M ETATE M 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.
Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R., M ETATE M: 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., Hunter, A., Owens, R., Barringer, H., Gabbay, D., Gough, G., Hodkinson, I., McBrien, P., Reynolds, M., and Brough, D., Languages, Meta-languages, and M ETATE M . 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. 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 M ETATE M . 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.
Mulder, M., Treur, J. and Fisher, M. Agent Modelling in Concurrent M ETATE M and DESIRE . In Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL) , Rhode-Island, USA, July 1997. (To appear.)
Fisher, M. Refining Concurrent M ETATE M 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.)