Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Fisher
2010 – today
- 2013
[j46]Michael Fisher, Louise A. Dennis, Matthew P. Webster: Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013)- [j45]Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi: Deductive temporal reasoning with constraints. J. Applied Logic 11(1): 30-51 (2013)
- [j44]Savas Konur, Michael Fisher, Sven Schewe: Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013)
- [c86]M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks: Agent reasoning for norm compliance: a semantic approach. AAMAS 2013: 499-506
- [c85]Louise A. Dennis, Michael Fisher, Matthew P. Webster: Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289
- 2012
- [j43]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)
- [j42]Savas Konur, Clare Dixon, Michael Fisher: Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60(2): 199-213 (2012)
- [j41]Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng: Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems 60(11): 1429-1441 (2012)
- [c84]Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher: Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397
- [c83]Amir Niknafs-Kermani, Boris Konev, Michael Fisher: Symmetric Temporal Theorem Proving. TIME 2012: 21-28
- [e7]Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (Eds.): Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7486, Springer 2012, ISBN 978-3-642-32896-1
- 2011
- [b1]Michael Fisher: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley 2011, ISBN 978-0-470-02788-2, pp. I-VI, 1-353
- [j40]Jürgen Dix, Michael Fisher: Where logic and agents meet. Ann. Math. Artif. Intell. 61(1): 15-28 (2011)
- [j39]Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu: Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)
- [j38]Michael Fisher: Agent deliberation in an executable temporal framework. J. Applied Logic 9(4): 223-238 (2011)
- [c82]Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher: A Formal Semantics for Brahms. CLIMA 2011: 259-274
- [c81]Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump: Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP 2011: 228-242
- [c80]Clare Dixon, Alan F. T. Winfield, Michael Fisher: Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS 2011: 336-347
- [c79]Savas Konur, Michael Fisher: Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. VTC Spring 2011: 1-5
- 2010
- [j37]Michael Fisher, Chiara Ghidini: Executable specifications of resource-bounded agents. Autonomous Agents and Multi-Agent Systems 21(3): 368-396 (2010)
- [j36]Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres: Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems 25(3): 92-97 (2010)
- [c78]Savas Konur, Clare Dixon, Michael Fisher: Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447
- [c77]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
- [e6]Jürgen Dix, Michael Fisher, Peter Novák (Eds.): Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6214, Springer 2010, ISBN 978-3-642-16866-6
2000 – 2009
- 2009
- [j35]Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22 (2009)
- [j34]Michael Fisher, Chiara Ghidini: Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18(1): 3-21 (2009)
- [j33]Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
- [c76]Clare Dixon, Michael Fisher, Boris Konev: Taming the Complexity of Temporal Epistemic Reasoning. FroCoS 2009: 198-213
- [c75]Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
- [c74]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software. FMA 2009: 63-67
- [p1]Michael Fisher, Boris Konev, Alexei Lisitsa: Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance 2009: 44-56
- [e5]Michael Fisher, Fariba Sadri, Michael Thielscher (Eds.): Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5405, Springer 2009, ISBN 978-3-642-02733-8
- [e4]Manuela L. Bujorianu, Michael Fisher (Eds.): Proceedings FM-09 Workshop on Formal Methods for Aerospace. EPTCS 20, 2009
- 2008
- [j32]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Specifying and reasoning about uncertain agents. Int. J. Approx. Reasoning 49(1): 35-51 (2008)
- [c73]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
- [c72]Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
- [c71]Louise A. Dennis, Michael Fisher: Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
- [c70]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Practical First-Order Temporal Reasoning. TIME 2008: 156-163
- 2007
- [j31]Michael Fisher, Wiebe van der Hoek: Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007)
- [j30]Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni: Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Computational Intelligence 23(1): 61-91 (2007)
- [j29]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Temporal Logics of Knowledge and their Applications in Security. Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007)
- [j28]Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007)
- [c69]Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156
- [c68]Clare Dixon, Michael Fisher, Boris Konev: Temporal Logic with Capacity Constraints. FroCoS 2007: 163-177
- [c67]
- [c66]Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
- [c65]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
- [i3]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Efficient First-Order Temporal Logic for Infinite-State Systems. CoRR abs/cs/0702036 (2007)
- 2006
- [j27]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006)
- [j26]Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat: Guest editorial: Temporal representation and reasoning. Ann. Math. Artif. Intell. 46(3): 231-234 (2006)
- [j25]Paolo Ballarini, Michael Fisher, Michael Wooldridge: Automated Game Analysis via Probabilistic Model Checking: a case study. Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006)
- [j24]Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons: Model Checking for Multiagent Systems: the Mable Language and its Applications. International Journal on Artificial Intelligence Tools 15(2): 195-226 (2006)
- [j23]Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006)
- [c64]Clare Dixon, Michael Fisher, Boris Konev: Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18
- [e3]Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (Eds.): Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Lecture Notes in Computer Science 4160, Springer 2006, ISBN 3-540-39625-X
- 2005
- [j22]Clare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005)
- [j21]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
- [j20]M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev: First-Order Temporal Verification in Practice. J. Autom. Reasoning 34(3): 295-321 (2005)
- [c63]Michael Fisher: Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). CLIMA 2005: 129-142
- [c62]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Logical Implementation of Uncertain Agents. EPIA 2005: 536-547
- [c61]
- [c60]Michael Fisher, Boris Konev, Alexei Lisitsa: Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100
- 2004
- [j19]Michael Fisher: Temporal Development Methods for Agent-Based. Autonomous Agents and Multi-Agent Systems 10(1): 41-66 (2004)
- [j18]Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling: Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004)
- [j17]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
- [j16]Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. Journal of Applied Non-Classical Logics 14(4): 397-445 (2004)
- [j15]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)
- [c59]Cláudia Nalon, Clare Dixon, Michael Fisher: Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248
- [c58]Michael Fisher, Alexei Lisitsa: Monodic ASMs and Temporal Verification. Abstract State Machines 2004: 95-110
- [c57]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
- [c56]Michael Fisher, Chiara Ghidini, Benjamin Hirsch: Programming Groups of Rational Agents. CLIMA 2004: 16-33
- [c55]Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta: Organising Software in Active Environments. CLIMA 2004: 265-280
- [c54]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94
- [c53]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME 2004: 148-151
- 2003
- [c52]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
- [c51]
- [c50]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
- [c49]Michael Fisher, Chiara Ghidini, Benjamin Hirsch: Organising Computation through Dynamic Grouping. Objects, Agents, and Features 2003: 117-136
- [c48]Boris Konev, Anatoli Degtyarev, Michael Fisher: Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228
- [c47]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
- [c46]Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71
- [c45]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82
- [i2]Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution. CoRR cs.LO/0306041 (2003)
- 2002
- [j14]Clare Dixon, Michael Fisher, Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002)
- [j13]Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
- [j12]Alexander Bolotov, Michael Fisher, Clare Dixon: On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12(4): 561-581 (2002)
- [j11]Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Equality and Monodic First-Order Temporal Logic. Studia Logica 72(2): 147-156 (2002)
- [c44]
- [c43]Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons: Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959
- [c42]
- [c41]M. Carmen Fernández Gago, Michael Fisher, Clare Dixon: Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252
- [c40]James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
- [c39]Anatoli Degtyarev, Michael Fisher, Boris Konev: A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002: 85-99
- [c38]Michael Fisher, Chiara Ghidini: Agents with Bounded Temporal Resources. Foundations and Applications of Multi-Agent Systems 2002: 169-184
- [e2]Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist (Eds.): Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers. Lecture Notes in Computer Science 2403, Springer 2002, ISBN 3-540-43962-5
- 2001
- [j10]Michael Fisher, Clare Dixon, Martin Peim: Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001)
- [c37]
- [c36]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Reasoning about agents in the KARO framework. TIME 2001: 206-213
- 2000
- [c35]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Verification within the KARO Agent Theory. FAABS 2000: 33-47
- [c34]
- [c33]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS 2000: 73-87
- [c32]Michael Fisher: Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report. ICMAS 2000: 127-134
- [c31]Clare Dixon, Michael Fisher: Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000: 69-78
1990 – 1999
- 1999
- [j9]Alexander Bolotov, Michael Fisher: A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11(1): 77-93 (1999)
- [c30]Michael Fisher, Chiara Ghidini: Programming Resource-Bounded Deliberative Agents. IJCAI 1999: 200-205
- [c29]
- [i1]
- 1998
- [j8]Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics 8(3): 225-258 (1998)
- [j7]Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998)
- [c28]
- [c27]
- [c26]
- 1997
- [j6]Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997)
- [j5]Michael Fisher: A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. J. Log. Comput. 7(4): 429-456 (1997)
- [c25]
- [c24]Adam Kellett, Michael Fisher: Concurrent METATEM as a Coordination Language. COORDINATION 1997: 418-421
- [c23]
- [c22]Michael Fisher, Michael Wooldridge: Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997: 128-140
- [c21]Clare Dixon, Michael Fisher: Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997: 28-39
- [c20]
- [c19]Alexander Bolotov, Michael Fisher: A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997: 20-27
- 1996
- [j4]Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)
- [j3]
- [c18]
- [c17]Michael Fisher, Michael Wooldridge, Clare Dixon: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192
- 1995
- [j2]Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: An Introduction. Formal Asp. Comput. 7(5): 533-549 (1995)
- [c16]Michael Fisher, Robert Johnson, John A. Keane: Graph Structure Management in Parallel Symbolic Systems. Parallel and Distributed Computing and Systems 1995: 210-215
- [e1]Michael Fisher, Richard Owens (Eds.): Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Lecture Notes in Computer Science 897, Springer 1995, ISBN 3-540-58976-7
- 1994
- [c15]Michael Fisher: Representing and Executing Agent-Based Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 307-323
- [c14]Michael Wooldridge, Michael Fisher: A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331
- [c13]Clare Dixon, Michael Fisher, Howard Barringer: A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429
- [c12]Michael Fisher: A Survey of Concurrent METATEM - the Language and its Applications. ICTL 1994: 480-505
- 1993
- [c11]Michael Fisher, Michael Wooldridge: Specifying and Verifying Distributed Intelligence Systems. EPIA 1993: 13-28
- [c10]Michael Fisher, Richard Owens: An Introduction to Executable Modal and Temporal Logics. Executable Modal and Temporal Logics 1993: 1-20
- [c9]Michael Fisher: Towards a Semantics for Concurrent METATEM. Executable Modal and Temporal Logics 1993: 86-102
- [c8]
- 1992
- [j1]Michael Fisher: A Model Checker for Linear Time Temporal Logic. Formal Asp. Comput. 4(3): 299-319 (1992)
- [c7]
- [c6]Michael Wooldridge, Michael Fisher: A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992: 234-238
- [c5]Michael Fisher, Richard Owens: From the Past to the Future: Executing Temporal Logic Programs. LPAR 1992: 369-380
- 1991
- [c4]
- [c3]Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
1980 – 1989
- 1989
- [c2]Howard Barringer, Michael Fisher, Graham Gough: Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems 1989: 133-150
- [c1]Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team