- [2017]
[2016]
[2015]
[2014]
[2013]
[2012]
[2011]
[2010]
- [2009]
[2008]
[2007]
[2006]
[2005]
[2004]
[2003]
[2002]
[2001]
[2000]
- [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [pre-1990]

- Kamali, M., Dennis, L. A., McAree, O., Fisher, M. and Veres, S. M.
Formal Verification of Autonomous Vehicle Platooning
*Science of Computer Programming 148:88-106*. [Abstract] - Gainer, P., Linker, S., Dixon, C., Hustadt, U., and Fisher, M.
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
In
*Proc. 14th International Conference on Quantitative Evaluation of Systems*, pp224-239, 2017. [Abstract] - Fernandes, L. E. R., Custodio, V., Alves, G. V., and Fisher, M. A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
In
*Proc. First Workshop on Formal Verification of Autonomous Vehicles (FVAV)*,*Electronic Proceedings in Theoretical Computer Science 257*, pp35–42, 2017. [Abstract] - Gainer, P., Dixon, C., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J., and Webster, M.
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours
In
*Proc. FMICS-AVoCS*, pp119-133, 2017. [Abstract]

- Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., and Veres, S. M.
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
*Journal of Automated Software Engineering 23(3):305-359*. [Abstract] - Fisher, M., List, C., Slavkovik, M., and Winfield, A. F. T.
Engineering Moral Agents -- from Human Morality to Artificial Morality
*Dagstuhl Reports 6(5):114-137*. [Abstract] - Dennis, L. A., Aitken, J. M., Collenette, J., Cucco, E., Kamali, M., McAree, O., Shaukat, A., Atkinson, K. M., Gao, Y, Veres, S. M., and Fisher, M.
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. In
*Proc. 17th Conference on Towards Autonomous Robotic Systems (TAROS)*. LNAI Volume 9716, pages 75-86, Springer, 2016. [Abstract] - Dennis, L. A., Fisher, M., Slavkovik, M., and Webster, M. Formal Verification of Ethical Choices in Autonomous Systems.
*Robotics and Autonomous Systems 77:1-14*, 2016. [Abstract] - Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K-L.,
Dautenhahn, K., and Saez-Pons, J.
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
*IEEE Transactions on Human-Machine Systems 46(2):186-196*. [Abstract] - Dennis, L. A., Slavkovik, M., and Fisher, M. ``How Did They Know'' - Model-Checking for Analysis of Information Leakage in Social Networks.
In
*Proc. Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN@AAMAS/ECAI)*, pp42-59, 2016. [Abstract]

- Dennis, L. A., Fisher, M., and Webster, M. Two-stage Agent Program Verification.
*Journal of Logic and Computation*, 2015. [Abstract] - Konur, S., and Fisher, M. A Roadmap to Pervasive Systems Verification.
*Knowledge Engineering Review*30(3):324-341, 2015. [Abstract] - Slavkovik, M., Dennis, L. A., and Fisher, M. An Abstract Formal Basis for Digital Crowds.
*Distributed and Parallel Databases 33(1):3-31*, 2015. [Abstract] - Dennis, L. A., Fisher, M., and Winfield, A. F. T. Towards Verifiably Ethical
Robot Behaviour. To appear in
*AAAI-15 Workshop on AI and Ethics*. - Fisher, M., Reed, N., and Savirimuthu, J. Misplaced Trust?.
*Engineering & Technology Reference*, 2015. Pre-publication version available*here* - Patchett, C., Jump, M. and Fisher, M. Safety and Certification of Unmanned Air Systems.
*Engineering & Technology Reference*, 2015. Pre-publication version available*here* - van Riemsdijk, M. Birna, Dennis, L. A., Fisher, M., and Hindriks, K. V.
A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. In
*Proc. 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)*, 2015. [Abstract]

- Dixon, C., Webster, M., Saunders J., Fisher, M., and Dautenhahn, K.
``The Fridge Door is Open'' -- Temporal Verification of a Robotic Assistant's Behaviours. In
*Advances in Autonomous Robotic Systems ( Proc. TAROS)*. LNAI Volume 8717, pages 97-108, Springer, 2014. (Paper won the Springer Best Paper Award.) [Abstract] - Dennis, L. A. and Fisher, M. Actions with
Durations and Failures in BDI
Languages. In
*Proc. 21st European Conference on Artificial Intelligence (ECAI)*. Frontiers in Artificial Intelligence and Applications, vol 263, pp995-996, 2014. [Abstract] - Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K-L.,
and Dautenhahn, K. Formal Verification of an
Autonomous Personal Robotic Assistant. In
*Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014)*. ISBN 978-1-57735-655-4. - Dennis, L. A. and Fisher, M. Safe Autonomous Space Software. In
*Space Safety Magazine*, February 2014. ISSN: 2214-0379. - Fisher, M., van der Torre, L., Dastani, M., and Governatori, G. Guest editorial: Computational Logic in Multi-Agent Systems.
*Journal of Logic and Computation 24(6):1251-1252*Springer, 2014. - Konur, S., Fisher, M., Dobson, S., and Knox, S. Formal Verification of a Pervasive Messaging System.
*Formal Aspects of Computing 26(4):677-694*, 2014. [Abstract] - Fisher, M. If you want to trust a robot, look
at how it makes
decisions.
*The Conversation*, 10th March 2014. - Dennis, L. A., Fisher, M., Aitken, J., Veres, S. M., Gao, Y., Shaukat, A., and Burroughes, G.
Reconfigurable Autonomy.
*KI - Künstliche Intelligenz*, 2014. [Abstract]Webster, M., Dixon, C., and Fisher, M. Safe and Trustworthy Autonomous Robotic Assistants. In

*Space Safety Magazine*, Issue 9, Winter 2014. ISSN: 2214-0379. - Dennis, L. A., Fisher, M., Slavkovik, M., and Webster, M. Ethical Choice in Unforeseen Circumstances. In
*Proc. 14th Annual Conference on Towards Autonomous Robotic Systems (TAROS)**LNCS 8069*, pp433-445. Springer, 2014. [Abstract]Dixon, C. and Fisher, M. On and On the Temporal Way. In, Voronkov and Korovina (eds),

*HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday*, pp85-111. EasyChair, 2014. - Webster, M., Cameron, N., Jump, M., Fisher, M. Generating Certification Evidence for Autonomous Unmanned
Aircraft Using Model Checking and Simulation.
*Journal of Aerospace Information Systems 11(5):258-279*, May 2014. [Abstract]

- Fisher, M., Dennis, L. A., and Webster, M. Verifying Autonomous Systems.
*Communications of the ACM*56(9):84-93, 2013. [Abstract] - Konur, S., Fisher, M., and Schewe, S. Combined Model Checking for Temporal, Probabilistic, and Real-time Logics.
*Theoretical Computer Science*503:61-88, 2013. [Abstract] - Dennis, L. A., Fisher, M., and Webster, M. Using Agent JPF to Build Models
for Other Model Checkers. In
*Proc. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)*.*Lecture Notes in Computer Science 8143*, pages 273-289. Springer, 2013. [Abstract] - Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., and Veres, S. M.
Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
arXiv:1310.2431, 2013.
[Abstract]
- van Riemsdijk, M. Birna, Dennis, L. A., Fisher, M., and Hindriks, K. V. Agent Reasoning for Norm Compliance: a Semantic Approach.
*Proc. 13th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)*, pp499-506, 2013. [Abstract] - Dixon, C., Konev, B., Fisher, M., and Nietiadi, S. Deductive Temporal Reasoning with Constraints.
*Journal of Applied Logic*11(1):30-51, 2013. [Abstract] - Lincoln, N., Veres, S. M., Dennis, L. A., Fisher, M., and Lisitsa, A. Autonomous Asteroid Exploration by Rational Agents.
*IEEE Computational Intelligence*8(4):25-38, 2013. [Abstract]

- Stocker, R., Dennis, L. A., Dixon, C., and Fisher, M. Verification of Brahms Human-Robot Teamwork Models. In
*Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA-2012)*.*LNCS 7519*, pp385-397. Springer, 2012. [Abstract] - Niknafs-Kermani, A., Konev, B., and Fisher, M. Symmetric Temporal
Theorem Proving. In
*Proc. 19th International Symposium on Temporal Representation and Reasoning (TIME-2012)*pp21-28, IEEE Computer Society Press, 2012. [Abstract] - Dixon, C., Fisher, M., Winfield, A. F. T., and Zeng, C. Towards Temporal Verification of Swarm Robotic Systems.
*Robotics and Autonomous Systems*60(11):1429-1441, 2012. [Abstract] - Dennis, L. A., Fisher, M., Webster, M., and Bordini, R. H.
Model Checking Agent Programming
Languages.
*Journal of Automated Software Engineering*19(1):5-63, 2012. [Abstract] - Konur, S., Dixon, C., and Fisher, M. Analysing Robot Swarm Behaviour via Probabilistic Model Checking.
*Robotics and Autonomous Systems*60(2):199-213, 2012. [Abstract]

- Dix, J. and Fisher, M. Where Logic and
Agents Meet.
*Annals of Mathematics and Artificial Intelligence*61(1):15-28. Springer, 2011. [Abstract] - Webster, M., Fisher, M., Cameron, N., and Jump, M. Formal Methods and the
Certification of Autonomous Unmanned Aircraft Systems. In
*Proc. 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP)*.*Lecture Notes in Computer Science 6894*, pages 228-242. Springer, 2011. [Abstract] - Stocker, R., Sierhuis, M., Dennis, L. A., Dixon, C., and Fisher, M. A
Formal Semantics for Brahms. In
*Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)*.*Lecture Notes in Computer Science 6814*, pages 259-274. Springer, 2011. An extended version is available as a technical report. [Abstract] - Konur, S. and Fisher, M. Formal Analysis of a
VANET Congestion Control Protocol through Probabilistic
Verification. In
*Proc. 73rd IEEE Vehicular Technology Conference (VTC2011-Spring)*, pp1-5. IEEE Press, 2011. [Abstract] - Cameron, N., Webster, M., Jump, M., and Fisher, M. Certification of Civil
UAS as a Virtual Engineering Approach. To appear in
*Proc. American Institute of Aeronautics and Astronautincs Modelling and Simulation Technologies Conference (AIAA-MST)*, August 2011. - Fisher, M. Agent Deliberation in an Executable Temporal
Framework.
*Journal of Applied Logic*9(4):223-238. Elsevier, December 2011. [Abstract]

- Lincoln, N., and Veres, S. M., Dennis, L. A., Fisher, M., and Lisitsa, A.
An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles.
To appear in
*Proc. IFAC Workshop on Adaptation and Learning in Control and Signal Processing (ALCOSP)*, 2010. [Abstract] - Bujorianu, M. and Fisher, M. (Eds).
*Proc. FM-09 Workshop on Formal Methods for Aerospace (FMA)*.*Electronic Proceedings in Theoretical Computer Science 20*. March 2010. - Bordini, R. H., Dennis, L. A., Farwer, B., and Fisher, M.
Directions for Agent Model Checking. In Dastani, M., Hindriks, K., and Meyer, J-J. (eds)
*Specification and Verification of Multi-agent Systems*pp103-123. Springer, 2010. - Dennis, L. A., Fisher, M., Lisitsa, A., Lincoln, N., and Veres, S. M.
Satellite Control Using Rational Agent Programming.
*IEEE Intelligent Systems*25(3):92-97, May/June, 2010. - Konur, S., Dixon, C., and Fisher, M. Formal
Verification of Probabilistic Swarm Behaviours.
In
*Proc. 7th International Conference on Swarm Intelligence (ANTS)*.*Lecture Notes in Computer Science 6234*, pages 440-447. Springer, 2010. [Abstract] - Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., and
Veres, S. M.. Declarative Abstractions for Agent Based
Hybrid Control Systems. In
*Proc. 8th International Workshop on Declarative Agent Languages and Technologies (DALT)*.*Lecture Notes in Computer Science 6619*, pages 96-111. Springer, 2010 - Fisher, M. and Ghidini, C. Executable Specifications of
Resource-Bounded Agents.
*Journal of Autonomous Agents and Multi-Agent Systems*21(3):368-396, 2010. [Abstract] - Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., and
Veres, S. M.. Reducing Code Complexity in Hybrid
Control Systems. In
*Proc. 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-Sairas)*. 2010 [Abstract]

- Bordini, R. H., Fisher, M., Wooldridge, M., and Visser, W.
Property-based Slicing for Agent
Verification.
*Journal of Logic and Computation*19(6):1385-1425. December 2009. - Arapinis, M., Calder, M., Dennis, L. A., Fisher, M., Gray, P.,
Konur, S., Miller, A., Ritter, E., Ryan, M., Schewe, S.,
Unsworth, C., and Yasmin, R.
Towards the Verification of Pervasive Systems. In
*Proc. FM-2009 Workshop on Formal Methods for Interactive Systems (FMIS)*.*Electronic Communications of the EASST, Volume 22*. - Behdenna, A., Dixon, C., and Fisher, M.
Deductive Verification of Simple Foraging
Robotic Behaviours.
*International Journal of Intelligent Computing and Cybernetics*2(4):604-643. Emerald Publishing, December 2009. - Ballarini, P., Fisher, M. and Wooldridge, M.
Uncertain Agent Verification through
Probabilistic Model-Checking. In
*Safety and Security in Multiagent Systems*.*Lecture Notes in Computer Science 5454*, pages 162-174. Springer, September 2009. - Dixon, C., Fisher, M., and Konev, B. Taming the
Complexity of Temporal Epistemic Reasoning. In
*Proc. 7th International Symposium on Frontiers of Combining Systems (FroCoS)*.*Lecture Notes in Computer Science 5749, pp198-213*. Springer, September 2009. - Fisher, M., Sadri, F., and Thielscher, M. (Eds).
*Computational Logic in Multi-Agent Systems*.*Lecture Notes in Artificial Intelligence 5405*. Springer, August 2009. - Fisher, M. and Hepple, A. Executing Logical
Agent Specifications. In,
*Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni (eds)*,*Multi-Agent Programming: Languages, Tools and Applications*, pp1-27. Springer, June 2009. - Bordini, R. H., Fisher, M., and Sierhuis, M. Formal Verification of
Human-Robot Teamwork. In
*Proc. 4th ACM/IEEE International Conference on Human-Robot Interaction*, pp 267-268. ACM Press, March 2009. - Fisher, M., Konev, B., and Lisitsa, A. Temporal
Verification of Fault-Tolerant
Protocols. In
*Methods, Models and Tools for Fault Tolerance*.*Lecture Notes in Computer Science 5454*, pages 44-56. Springer, March 2009. - Webster, M., Dennis, L. A., and Fisher, M. Model-Checking Auctions,
Coalitions and Trust. Technical Report number
ULCS-09-004.
Department of Computer Science, University of Liverpool, February
2009.
- Fisher, M. and Ghidini, C. Exploring the Future
with Resource-Bounded
Agents.
*Journal of Logic, Language and Information*18(1):3-21. Springer, January 2009. - Fisher, M., Dennis, L. A., and Hepple, A. Modular Multi-Agent
Design. Technical Report number
ULCS-09-002.
Department of Computer Science, University of Liverpool, January 2009.

- Bordini, R. H., Dennis, L. A., Farwer, B., and Fisher, M.
Automated Verification of Multi-Agent
Programs. In
*Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE)*pp69-78. IEEE, 2008. - Hepple, A., Dennis, L. A., and Fisher, M. A Common
Basis for Agent Organisations in BDI Languages.
In
*Proc. 1st International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS)*.*Lecture Notes in Artificial Intelligence 5118*, pages 171-88, Springer, 2008. - de Carvahlo Ferreira, N., Fisher, M., and van der Hoek, W. Specifying and
Reasoning about Uncertain Agents.
*International Journal of Approximate Reasoning*49(1):35-51. September 2008, Elsevier. - Dennis, L. A., Farwer, B., Bordini, R. H., and Fisher, M. A Flexible Framework
for Verifying Agent Programs. In
*Proc. 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)*, pp 1303-1306, 2008. - Dennis, L. A., Hepple, A., and Fisher, M. Language
Constructs for Multi-Agent Programming. In
*Proc. 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)*.*Lecture Notes in Artificial Intelligence*5056, pp137-156. Springer, 2008. - Dixon, C., Fisher, M., Konev, B., and Lisitsa, A.
Practical First-Order Temporal
Reasoning. In
*Proc. International Symposium on Temporal Representation and Reasoning (TIME)*, pp 156-163. IEEE Computer Society, 2008. - Dennis, L. A., and Fisher, M. Programming
Verifiable Heterogeneous Agent
Systems. In
*Proc. Sixth International Workshop on Programming in Multi-Agent Systems (ProMAS)*.*Lecture Notes in Artificial Intelligence*5442, pp40-55. Springer, 2008. - Dennis, L. A., Farwer, B., Bordini, R. H., Fisher, M., and Wooldridge, M.
A Common Semantic Basis for BDI
Languages. In
*Proc. 5th International Workshop on Programming Multi-Agent Systems (ProMAS)*,*Lecture Notes in Computer Science 4908*, pages 124-139. Springer-Verlag, 2008.

- Dixon, C., Fisher, M., and Konev, B. Temporal Logic
with Capacity Contraints
In
*Proc. 6th International Symposium on Frontiers of Combining Systems (FroCoS)*.*Lecture Notes in Computer Science 4720*, pages 163-177, Springer, 2007. - Fisher, M.and van der Hoek, W. Guest editorial: Logics in AI --
post-proceedings JELIA06.
*Annals of Mathematics in Artificial Intelligence*50(3-4): 227-229. Springer, August 2007. - Dixon, C., Fernández Gago, M-C., Fisher, M., and van der Hoek, W. Temporal
Logics of Knowledge and their Applications in
Security.
*Electronic Notes in Theoretical Computer Science*186:27-42. Elsevier, 2007. - Fisher, M., Singh, M. P., Spears, D., and Wooldridge, M. Guest
editorial: Logic-Based Agent Verification.
*Journal of Applied Logic*5(2):193-195. Elsevier, June 2007. - Fisher, M., Bordini, R. H., Hirsch, B., and Torroni, P.
Computational Logics and Agents: A Roadmap of
Current Technologies and Future Trends.
*Computational Intelligence 23(1):61-91*. Blackwell Publishing, February 2007. - Dixon, C., Fisher, M., and Konev, B. Tractable
Temporal Reasoning
In
*Proc. International Joint Conference on Artificial Intelligence (IJCAI)*, pages 318-323. AAAI Press, 2007.

- Fisher, M., van der Hoek, W., Konev, B., and Lisitsa, A. (eds)
*Proc. Tenth European Conference on Logics in Artificial Intelligence (JELIA)*, Lecture Notes in Computer Science 4160, Springer-Verlag, 2006. ISBN 0302-9743. - Bouzid, M., Combi, C., Fisher, M., and Ligozat, G. Guest
editorial: Temporal Representation and Reasoning.
*Annals of Mathematics in Artificial Intelligence*46(3):231-234. Springer, March 2006. - Fisher, M. Implementing Temporal Logics: Tools
for Execution and Proof. In
*Proc. 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)*.*Lecture Notes in Artificial Intelligence 3900*, pages 129-142. Springer-Verlag, 2006. - Wooldridge, M., Fisher, M., Huget, M.-P. and Parsons, S.
Model Checking for Multiagent Systems: The MABLE
Language and its
Applications.
*International Journal of Artificial Intelligence Tools*15(2):195-225. World Scientific, April 2006. - Dixon, C., Fisher, M., and Konev, B. Is There a
Future for Deductive Temporal Verification?
In
*Proc. International Symposium on Temporal Representation and Reasoning (TIME)*, pages 11-18. IEEE CS Press, 2006. An extended version is available as University of Liverpool Technical Report number ULMS-06-01. - Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
Verifying Multi-Agent Programs by Model
Checking.
*Journal of Autonomous Agents and Multi-Agent Systems*12(2):239-256. Springer, March 2006. - Degtyarev, A., Fisher, M., and Konev, B. Monodic
Temporal Resolution.
*ACM Transactions on Computational Logic*7(1):108-150. ACM, January 2006. - Ballarini, P., Fisher, M., and Wooldridge, M.
Automated Game Analysis via Probabilistic
Model Checking: a case
study.
*Electronic Notes in Theoretical Computer Science 149(2):125-137*. Elsevier, February 2006. - Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J-J., and
van der Hoek, W. Verification Within the KARO Agent Theory. In
*Agent Technology from a Formal Perspective*. Springer-Verlag, 2006. - Fisher, M., Ghidini, C. and Kakoudakis, T. Dynamic Team Formation in
Executable Agent-Based Systems.
*Agent Technology from a Formal Perspective*. Springer-Verlag, 2006.

- de Carvahlo Ferreira, N., Fisher, M., and van der Hoek, W. A Logical
Implementation of Uncertain Agents. In
*Proceedings of Twelfth Portuguese Conference on Artificial Intelligence (EPIA)*, Covilha, Portugal, December 2005. Lecture Notes in Artificial Intelligence 3808, Springer-Verlag, pages 536-547. - Fisher, M. Temporal Development Methods for
Agent-Based Systems.
*Journal of Autonomous Agents and Multi-Agent Systems*10(1):41-66, January 2005. - Dixon, C., Fisher, M., and Bolotov, A.
Alternating Automata and Temporal Logic Normal Forms.
*Annals of Pure and Applied Logic*135(1-3): 263-285. Elsevier Science, 2005. - Winfield, A. F. T., Sa, J., Fernández Gago, M-C., Dixon, C., and Fisher, M.
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems.
*International Journal of Advanced Robotic Systems*2(4):363-370, December 2005. - Fisher, M. METATEM: The Story so
Far. In Proceedings
of the Third International Workshop on Programming Multiagent
Systems (ProMAS-03),
Utrecht, Netherlands.
*Lecture Notes in Artificial Intelligence*3862, pages 3-22, Springer Verlag, 2005. - Ballarini, P., Fisher, M., and Wooldridge, M.
Probabilistic Model-Checking for Games of
Imperfect information. In Online
Proceedings of the Process Algebras and Stochastically Timed
Activities
(PASTA),
Septmber 2005.
- Nalon, C., Dixon, C., and Fisher, M.
Resolution for Synchrony and No Learning. To appear in
*Proceedings of AiML-5*, Kings College Publications, 2005. - Fisher, M. Agents out of control? Towards the formal verification of autonomous agent teams. In
*Proc. IEE Seminar on Autonomous Agents in Control*, pp75-83, 2005. - Hirsch, B., Fisher, M., Ghidini, C., and P. Busetta. Organising Software in Active Environments. In
*Computational Logic in Multi-Agent Systems (CLIMA-V)*. Lecture Notes in Computer Science 3487, Springer-Verlag, 2005. - Fisher, M., Lisitsa, A., and Konev, B. Practical Infinite-state
Verification with Temporal Reasoning. In, Clarke, E., Minea, M., and
Tiplea, F. (eds)
*Verification of Infinite-State Systems with Applications to Security*. Volume 1 of the NATO Security through Science Series: Information and Communication Security. IOS Press, January 2006. (*Proceedings of the NATO Advance Reasearch Workshop on Verification of Infinite-State Systems with Applications to Security (VISSAS)*, 2005.) - Konev, B., Degtyarev, A., Dixon, C., Fisher, M., and Hustadt, U.
Mechanizing First-Order Temporal Resolution.
*Information and Computation*199(1-2):55-86. Elsevier Science, 2005. - Fisher, M., Gabbay, D., and Vila, L. (editors)
*Handbook of Temporal Reasoning in Artificial Intelligence*, Elsevier Science, 2005. - Winfield, A. F. T., Sa, J., Fernández Gago, M-C., Dixon, C., and Fisher, M.
Using Temporal Logic to Specify Emergent
Behaviours in Swarm Robotic Systems. In
*Proceedings of Towards Autonomous Robotic Systems (TAROS)*, 2005. - Fernández Gago, M-C., Hustadt, U., Dixon, C., Fisher, M., and Konev, B.
First-Order Temporal Verification in
Practice.
*Journal of Automated Reasoning*34(3):295-321, April 2005.

- Fisher, M., Ghidini, C., and Hirsch, B. Programming Groups of Rational
Agents. In
*Computational Logic in Multi-Agent Systems (CLIMA-IV)*. Lecture Notes in Computer Science 3259, Springer-Verlag, November 2004. - Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
Model Checking Rational Agents.
*IEEE Intelligent Systems*19(5):46-52, September/October 2004. - de Carvahlo Ferreira, N., Fisher, M., and van der Hoek, W.. Practical
Reasoning for Uncertain Agents. In
*Proceedings of Ninth European Conference on Logics in Artificial Intelligence (JELIA)*, Lisbon, Portugal, September 2004. Lecture Notes in Artificial Intelligence 3229, Springer-Verlag, pages 82-94. - Dixon, C., Nalon, C., and Fisher, M.. Tableau for Logics of Time and
Knowledge with Interactions Relating to Synchrony.
*Journal of Applied Non-Classical Logics*14(4): 397-446, 2004. - Fisher, M., Ghidini, C., and Hirsch, B.
Organising Computation through Dynamic
Grouping. In Objects,
Agents and
Features. Lecture
Notes in Computer Science 2975, pages 117-136, Springer Verlag
2004.
- Fisher, M. Multi-Agent programming Based on Distributed
Deduction. In Zhang, W., and Sorge, V. (eds)
*Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems*, volume 112 of Frontiers in Artificial Intelligence and Applications. IOS Press, November 2004. - Dixon, C., Fernández Gago, M-C., Fisher, M., and van der Hoek, W.. Using
Temporal Logics of
Knowledge in the Formal Verification of Security Protocols. In
*Proceedings of TIME 2004*, 1st-3rd July 2004, Tatihou, Normandie, France. IEEE. - Dix, J., Fisher, M., Levesque, H., and Sterling, L.
Special Issue on Logic-Based Agent
Implementation --
Editorial.
*Annals of Mathematics and Artificial Intelligence*41 (2-4): 131-133, August 2004. Kluwer Academic Publishers - Bordini, R. H., Fisher, M., Visser, W., and
Wooldridge, M.. State-Space
Reduction Techniques in Agent Verification. In
*Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004)*, New York, USA. - Fisher, M., and Lisitsa, A. Monodic ASMs and Temporal
Verification. In Proc. International Workshop
on Abstract State Machines (ASM
2004). Volume
3065 of Lecture Notes in Computer Science. Springer-Verlag,
2004. (Version also available as Technical Report
ULCS-03-011
from Department of Computer Science at the University of Liverpool.)
- Artale, A., Dixon, C., Fisher, M. and
Franconi, E. Special Issue on Temporal
Representation and Reasoning --
Editorial.
*Journal of Logic and Computation*14(1):1-2, February 2004.

- Dixon, C., Nalon, C., and Fisher, M.
Tableaux for Temporal Logics of Knowledge: Synchronous Systems
of Perfect Recall or No Learning.
In
*Proceedings of TIME-ICTL 2003*, July 2003, Cairns, Queensland, Australia. IEEE CS Press. (Preliminary version) - Konev, B., Degtyarev, A., Dixon, C., Fisher, M., and Hustadt, U.
Towards the Implementation of First-Order Temporal Resolution:
the Expanding Domain Case.
In
*Proceedings of TIME-ICTL 2003*, July 2003, Cairns, Queensland, Australia. IEEE CS Press. (Preliminary version) - Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., and Wooldridge, M.
Model Checking Multi-Agent Programs with CASP.
In
*Proceedings of the Fifteenth Conference on Computer-Aided Verification (CAV-2003)*. Tool description. Springer-Verlag, to appear. (Preliminary version) - Bordini, R. H., Fisher, M., Pardavila, C., and Wooldridge, M. Model Checking
AgentSpeak. In
*Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003)*, Melbourne, Australia, July 2003. (Preliminary version) - Degtyarev, A., Fisher, M., and Konev, B..
Monodic Temporal Resolution.
In
*Proceedings of CADE-03*, July 2003, Miami. Springer-Verlag, to appear. - Bordini, R. H., Visser, W., Fisher, M., and Wooldridge, M.
Verifiable multi-agent programs. In Proceedings of the
First International Workshop on Programming Multiagent Systems:
languages, frameworks, techniques and tools (ProMAS-03), held
with AAMAS-03, 15 July, 2003, Melbourne, Australia. Volume 3067
of Lecture Notes in Artificial Intelligence, Springer Verlag.
(Pre-proceedings version)
- Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., and Wooldridge, M.
Model Checking Multi-Agent Programs with CASP.
In
*Pre-proceedings of Third Workshop on Automated Verification of Critical Systems (AVoCS 2003)*. (Preliminary version) - Degtyarev, A., Fisher, M., and Konev, B.
Handling Equality in Monodic Temporal Resolution.
In
*Proc. 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)*, pp 214-228, Lecture Notes in Computer Science, 2850. Springer-Verlag, 2003.

- Hirsch, B., Fisher, M., and Ghidini, C. Organising Logic-Based
Agents. In
*Proc. Second NASA/IEEE Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS-II)*, pp 15-27, Lecture Notes in Computer Science 2699. Springer-Verlag, 2002. - Artale, A., and Fisher, M. (eds)
*Ninth International Symposium on Temporal Representation and Reasoning - TIME-02*. IEEE Computer Society Press, 2002. - d'Inverno, M., Luck, M., Fisher, M., and Preist, C. (eds)
*Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers*. Lecture Notes in Computer Science 2403, Springer-Verlag, 2002. ISBN 3-540-43962-5 - Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., and
de Rijke, M. Combinations of Modal Logics.
*Artificial Intelligence Review*17(1):1-20. Kluwer Academic Publishers, March 2002. (Preliminary version) - Fisher, M., and Visser, W. Verification of Autonomous Spacecraft
Control -- A logical vision of the future. In
*Workshop on AI Planning and Scheduling for Autonomy in Space Applications - AIPS-ASA*, Manchester, July 2002. - Dixon, C., Fisher, M., and Bolotov, A. Clausal Resolution in a Logic
of Rational Agency.
*Artificial Intelligence*139(1):47-89. Elsevier Science, July 2002. - Fisher, M., and Ghidini, C. Agents with Bounded Temporal
Resources. In
*Foundations and Applications of Multi-Agent Systems*. Volume 2403 of Lecture Notes in Computer Science, pp169-184. Springer-Verlag, July 2002. (Preliminary version) - Bolotov, A., Fisher, M., and Dixon, C. On the Relationship Between
Omega-Automata and Temporal Logic Normal Forms.
*Journal of Logic and Computation*12(4):561-581. Oxford University Press, August 2002. (Preliminary version) - Degtyarev, A., Fisher, M., and Konev, B. A Simplified Clausal
Resolution Procedure for Propositional Linear-Time Temporal
Logic. In
*Proc. TABLEAUX-02*. LNCS 2381, pp 85-99. Springer-Verlag, 2002. (Preliminary version) - Brotherson, J., Degtyarev, A., Fisher, M., and Lisitsa, A.
Searching for Invariants using Temporal Resolution. In
*Proc. LPAR-02*. Lecture Notes in Computer Science, Springer-Verlag, 2002. - Fernández Gago, M-C., Fisher, M., and Dixon, C. Algorithms
for Guiding Clausal Temporal Resolution. In
*Proc. 25th German Conference on Artificial Intelligence (KI-2002)*. Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002. - Fisher, M., and Ghidini, C. The ABC of Rational
Agent Programming. In
*Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)*, Bologna, Italy, July 2002. - Wooldridge, M., Fisher, M., Huget, M.-P. and Parsons, S.
Model Checking Multiagent systems with
MABLE. In
*Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)*, Bologna, Italy, July 2002. - Degtyarev, A., Fisher, M., and Lisitsa, A. Equality and Monodic
First-Order Temporal Logic.
*Studia Logica*72(2):147-156, November 2002. - Kellett, A. and Fisher, M. Coordinating Heterogeneous Components
Using Executable Temporal Logic. In, Meyer, J.-J., and Treur,
J. (eds),
*Agent-based Defeasible Control in Dynamic Environments*. Vol. 7 in Series of Handbooks in Defeasible Reasoning and Uncertainty Management Systems. Kluwer Academic Publishers, 2002. - Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J-J., and
van der Hoek, W. Verification Within the KARO Agent Theory. In
*Selected Papers from the First Goddard Workshop on Formal Approaches to Agent-Based Systems*. Kluwer Academic Publishers, to appear. (Preliminary version) - Fisher, M., and Ghidini, C.. Dynamic Team Formation in Executable
Agent-Based Systems. In
*Selected Papers from the First Goddard Workshop on Formal Approaches to Agent-Based Systems*. Kluwer Academic Publishers, to appear.

- Fisher, M., Dixon, C., and Peim, M. Clausal
Temporal Resolution.
*ACM Transactions on Computational Logic*2(1):12-56. January 2001. - Degtyarev, A., and Fisher, M. Towards
First-Order Temporal
Resolution. In
*Proc. 24th German/Austrian Conference on Artificial Intelligence (KI-2001)*, Volume 2174 of Lecture Notes in Artificial Intelligence pp18-32, Springer Verlag, 2001. - Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J-J., and
van der Hoek, W. Reasoning about agents in the KARO framework. In
*Proc. Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)*, pp 206-213. IEEE Computer Society Press, 2001. - Fernández Gago, M-C., Fisher, M., and Dixon, C. An Algorithm
for Guiding Clausal Temporal Resolution. In
*Proc. 4th International Workshop on Strategies in Automated Deduction [STRATEGIES 2001]*, held in conjunction with IJCAR 2001, Siena, Italy. - Nalon, C., Dixon, C., and Fisher, M. Resolution for Synchrony and No
Learning: Preliminary Report. In
*Proc. 8th International Workshop on Logic Language, Information and Computation [WoLLIC'2001]*. - Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J-J., and
van der Hoek, W. Verification within the KARO Agent
Theory. In
*Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems*. Goddard Space Flight Center, Greenbelt, Maryland, USA. Volume 1871 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2001. - Fisher, M. Direct Execution of Agent Specifications. In
*Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems*. Goddard Space Flight Center, Greenbelt, Maryland, USA. Volume 1871 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2001.

- Fisher, M. and Kakoudakis, T.. Flexible Agent Grouping in
Executable Temporal Logic. In, Gergatsoulis and Rondogiannis
(eds),
*Intensional Programming II*. World Scientific Publishers, March 2000. ISBN 981-02-4095-3. - Fisher, M. Characterising Simple Negotiation as Distributed
Agent-Based Theorem-Proving. In
*Proceedings of the Fifth International Conference on Multi-Agent Systems (ICMAS)*, Boston, USA, 2000. - Hustadt, U., Dixon, C., Schmidt, R., and Fisher, M. Normal Forms
and Proofs in Combined Modal and Temporal Logics. In
*Proceedings of the Third International Workshop on the Frontiers of Combining Systems (FroCoS'2000)*. Nancy, France. Volume 1794 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000. - Dixon, C., Fisher, M., and Bolotov, A. Resolution in a Logic of
Rational Agency. In
*Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000)*, Berlin, Germany 23rd-25th August 2000. IOS Press. - Dixon, C., and Fisher, M. Resolution-Based Proof for Multi-Modal
Temporal Logics of Knowledge. In
*Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)*, Cape Breton, Nova Scotia, Canada, July 7-9, 2000. IEEE Computer Society Press. - Fisher, M., and Ghidini, C. Specifying and Implementing Agents
with Dynamic Resource Bounds. In
*Proceedings of ECAI-2000 Workshop on Cognitive Robotics*. Berlin, 2000.

- Barringer, H., Fisher, M., Gabbay, D., and Gough, G. (eds)
*Advances in Temporal Logic.*. Volume 16 of Applied logic series, Kluwer Academic Publishers, Dordrecht, December 1999. (ISBN 0-7923-6149-0) - Fisher, M., and Dixon, C. Guiding Clausal
Temporal Resolution. In
*Advances in Temporal Logic.*. Kluwer Academic Publishers, Dordrecht, December 1999. - Dixon, C., Fisher, M., and Reynolds, M.
Execution and Proof in a Horn-Clause
Temporal Logic. In
*Advances in Temporal Logic.*. Kluwer Academic Publishers, Dordrecht, December 1999. - Bolotov, A., Dixon, C., and Fisher, M. Clausal Resolution for
CTL*. In
*Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science (MFCS).*Volume 1672 of Lecture Notes in Computer Science.Springer-Verlag, 1999. - Fisher, M., and Ghidini, C. Programming Resource-Bounded
Deliberative Agents. In
*Proceedings of Sixteenth International Joint Conference on Artificial Intelligence*. Morgan-Kaufmann, 1999.

- Dixon, C., and Fisher, M. The Set of Support
Strategy in Temporal Resolution. In
*Proceedings of the Fifth International Workshop on Temporal Reasoning (TIME'98)*. Sanibel Island, Florida, May 1998. IEEE Press. - Scott, R., Fisher, M., and Keane, J. A. Parallel Temporal
Tableaux. In
*Proceedings of Euro-Par Conference*, Lecture Notes in Computer Science vol. 1470, Springer-Verlag, 1998. - Mulder, M., Treur, J. and Fisher, M. Agent Modelling in
Concurrent METATEM and DESIRE. In
*Intelligent Agents IV*. LNAI, Springer-Verlag, 1998. - Dixon, C., Fisher, M., and Wooldridge, M. Resolution for
Temporal Logics of Knowledge.
*Journal of Logic and Computation 8(3):345-372*, Oxford University Press, 1998. ISSN 0955-792X. (Preliminary version) - 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
8(3):225-258, 1998.
- Fisher, M.. Representing Abstract Agent Architectures. In
*Intelligent Agents V.*Springer-Verlag, 1999.

- 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. Oxford University Press. - 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)*. IEEE Press. 1997. - Kellett, A. and Fisher, M. Automata Representations for Concurrent
METATEM. In
*Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME)*. IEEE Press. 1997. - 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. 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., 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 Wooldridge, M., On the
Formal Specification and Verification of Multi-Agent
Systems.
*International Journal of Cooperative Information Systems*6(1):37-65. World Scientific Publishers. 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. - Fisher, M. Refining Concurrent METATEM Objects. In,
H. Bowman and J. Derrick, editors,
*Formal Methods for Open Object-Based Distributed Systems*. Chapman and Hall, 1997. - Fisher, M.
*An Open Approach to Concurrent Theorem-Proving*. In Geller, Kitano and Suttner (eds)*Parallel Processing for Artificial Intelligence, 3*. Elsevier/North Holland, 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. - Fisher, M., and Wooldridge, M.,
Distributed Problem-Solving as
Concurrent Theorem-Proving.
In Boman and 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. - 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. - 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.

- 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. - 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. 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. - Johnson, R., Shen, K., Fisher, M., Keane, J. A., 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., Wooldridge, M., and Dixon, C.,
*A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief*. In*Proc. 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., An Introduction to Executable Temporal
Logics. Knowledge Engineering
Review
11(1). Cambridge University Press. March 1996
- 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.

- 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) - 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., and Keane, J. A. 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. - Fisher, M. Towards a Semantics for
Concurrent METATEM. In
*Executable Modal and Temporal Logics*. Published by Springer-Verlag as Lecture Notes in Artificial Intelligence, volume 897. February 1995. - Fisher, M., Johnson, R., and Keane, J. A.
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 Wooldridge, M.,
A Logical Approach to the Representation of
Societies of Agents. In Gilbert and Conte (eds),
*Artificial Societies*, UCL Press, 1995. - Fisher, M., and Owens, R. An Introduction to
Executable Modal and Temporal Logics. In
*Executable Modal and Temporal Logics*. Volume 897 of Lecture Notes in Artificial Intelligence Springer-Verlag, February 1995. - Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R.
METATEM: An Introduction.
*Formal Aspects of Computing*7(5):533-549, 1995. Springer Verlag. (Also, electronic supplement in Formal Aspects of Computing, 7(E)) - 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.

- 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)*. Bonn, Germany. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827. 1994. - Fisher, M. A Survey of Concurrent METATEM -- The Language and its
Applications. In
*Proceedings of First International Conference on Temporal Logic (ICTL)*. Bonn, Germany. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827. July 1994. - Fisher, M., and Wooldridge, M.,
Specifying and Executing
Protocols for Cooperative Action,
In
*Proc. International Working Conference on Cooperating Knowledge-Based Systems (CKBS)*. Keele, U.K., June 1994. - Wooldridge, M., and Fisher, M., A Decision
Procedure for a Temporal Belief Logic. In
*Proc. First International Conference on Temporal Logic (ICTL)*. Bonn, Germany, July 1994. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 827.

- Fisher, M. Concurrent METATEM -- A
Language for Modeling Reactive Systems. In
*Proceedings of Parallel Architectures and Languages Europe (PARLE)*. Munich, Germany. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 694. June 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)*. Edinburgh, U.K. Published by Gordon and Breach. June 1993. - Fisher, M., and Wooldridge, M.
Specifying and Verifying Distributed
Intelligent Systems. In
*Progress in AI -- Proceedings of Portuguese Conference on Artificial Intelligence (EPIA)*. Porto, Portugal. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 727. October 1993. - 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.

- Fisher, M. A Normal Form for
First-Order Temporal Formulae. In
*Proceedings of Eleventh International Conference on Automated Deduction (CADE)*. Saratoga Springs, New York. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 607. 1992. - Fisher, M. A Model Checker for Linear
Time Temporal Logic.
*Formal Aspects of Computing*4(3):299-319, 1992. - Wooldridge, M., and Fisher, M.,
A First-Order Branching Time
Logic of Multi-Agent Systems. In
*Proc. European Conference on Artificial Intelligence (ECAI)*. Vienna, Austria, August 1992. Published by Wiley and Sons. - Fisher, M., and Noël P. Transformation
and Synthesis in METATEM - Part I: Propositional METATEM.
Technical Report UMCS-92-2-1, Department of Computer Science, University of Manchester,
Manchester M13 9PL, U.K., February 1992.
- 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)*. St. Petersberg, Russia. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 624. July 1992.

- Fisher, M. A Resolution Method for Temporal
Logic. In
*Proceedings of Twelfth International Joint Conference on Artificial Intelligence (IJCAI)*. Sydney, Australia, August 1991. Published by Morgan Kaufmann. ISBN 1-55860-160-0 - 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.
- 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)*. Cambridge, Massachusetts. Published by Morgan Kaufmann. April 1991. - Fisher, M., Computerphobia and Adult
Learners.
*Computer Education*, vol. 68, June 1991.

- Fisher, M. Characterising Temporal
Logic,
Technical Report UMCS-89-10-6, Department of Computer Science, University of Manchester,
Manchester M13 9PL, U.K., October 1989.
- 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*. Grenoble, France. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 407. June 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*. Mook, Netherlands. Published by Springer-Verlag as Lecture Notes in Computer Science vol. 430. June 1989. - Fisher, M. Temporal Logics for Abstract
Semantics.
Technical Report UMCS-87-12-4, Department of Computer Science, University of Manchester,
Manchester M13 9PL, U.K., December 1987.
- Fisher, M., and Barringer, H. Program Logics: A Short Survey.
Technical Report UMCS-86-11-1, Department of Computer Science, University of Manchester,
Manchester M13 9PL, U.K., November 1986.

This document was generated using the
**LaTeX**2`HTML` translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.

Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.

The command line arguments were:

**latex2html** `-no_navigation -t 'Home page: Michael Fisher' -split 1 -address MFisher@liverpool.ac.uk papers.tex`

The translation was initiated by Michael Fisher on 2017-12-03

MFisher@liverpool.ac.uk