Michael Fisher
Michael Fisher
Professor of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage
TitleCited byYear
A survey of Concurrent METATEM—the language and its applications
M Fisher
International Conference on Temporal Logic, 480-505, 1994
3391994
Clausal temporal resolution
M Fisher, C Dixon, M Peim
ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001
2322001
METATEM: A framework for programming in temporal logic
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
2001989
Model checking multi-agent systems with MABLE
M Wooldridge, M Fisher, MP Huget, S Parsons
Proceedings of the first international joint conference on Autonomous agents …, 2002
1912002
A Resolution Method for Temporal Logic.
M Fisher
Ijcai 91, 99-104, 1991
1891991
Model checking agentspeak
RH Bordini, M Fisher, C Pardavila, M Wooldridge
Proceedings of the second international joint conference on Autonomous …, 2003
1882003
The imperative future: principles of executable temporal logic
H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds
John Wiley & Sons, 1996
1801996
Verifying multi-agent programs by model checking
RH Bordini, M Fisher, W Visser, M Wooldridge
Autonomous agents and multi-agent systems 12 (2), 239-256, 2006
1712006
On the formal specification and verification of multi-agent systems
M Fisher, M Wooldridge
International Journal of Cooperative Information Systems 6 (01), 37-65, 1997
1701997
Representing and executing agent-based systems
M Fisher
International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994
1591994
Handbook of temporal reasoning in artificial intelligence
MD Fisher, DM Gabbay, L Vila
Elsevier, 2005
1462005
A normal form for temporal logics and its applications in theorem-proving and execution
M Fisher
Journal of Logic and Computation 7 (4), 429-456, 1997
1261997
METATEM: An introduction
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Formal Aspects of Computing 7 (5), 533-549, 1995
1141995
An introduction to practical formal methods using temporal logic
M Fisher
Wiley, 2011
1082011
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1052012
Formalisms for multi-agent systems
M D'inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ...
The Knowledge Engineering Review 12 (3), 315-321, 1997
1051997
Resolution for temporal logics of knowledge
C Dixon, M Fisher, M Wooldridge
Journal of Logic and Computation 8 (3), 345-372, 1998
971998
Verifying autonomous systems.
M Fisher, LA Dennis, MP Webster
Commun. ACM 56 (9), 84-93, 2013
902013
On formal specification of emergent behaviours in swarm robotic systems
AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher
International journal of advanced robotic systems 2 (4), 39, 2005
832005
Computational logics and agents: a road map of current technologies and future trends
M Fisher, RH Bordini, B Hirsch, P Torroni
Computational Intelligence 23 (1), 61-91, 2007
802007
The system can't perform the operation now. Try again later.
Articles 1–20