![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael Fisher 0001
Person information
- affiliation: University of Manchester, UK
- affiliation (former): University of Liverpool, UK
Other persons with the same name
- Michael Fisher 0002 — West Chester University, PA, USA
- Michael Fisher 0003 — Case Western Reserve University, USA
- Michael Fisher 0004 — University of Alberta, Canada
- Michael Fisher 0005 — European Centre for Medium-Range Weather Forecasts, Reading, UK
- Michael Fisher 0006 — University of Liverpool, Institute of Integrative Biology, UK
- Michael Fisher 0007 — Columbia College, New York, NY, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i30]Louise A. Dennis, Michael Fisher:
Specifying Agent Ethics (Blue Sky Ideas). CoRR abs/2403.16100 (2024) - 2023
- [j84]Mohammad Reza Mousavi
, Ana Cavalcanti
, Michael Fisher
, Louise A. Dennis
, Robert M. Hierons
, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert
, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [c138]Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle:
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. AAMAS Workshops 2023: 180-200 - [c137]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS 2023: 2370-2372 - [c136]Rafael C. Cardoso
, Angelo Ferrando
, Joe Collenette, Louise A. Dennis
, Michael Fisher
:
Towards Forward Responsibility in BDI Agents. EMAS 2023: 3-22 - [c135]Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso
, Michael Fisher:
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS 2023: 214-227 - [c134]Peter Stringer
, Rafael C. Cardoso
, Clare Dixon
, Michael Fisher
, Louise A. Dennis
:
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS 2023: 345-362 - [c133]Joe Collenette
, Louise A. Dennis
, Michael Fisher
:
Prospective Responsibility for Multi-agent Systems. SGAI Conf. 2023: 247-252 - [i29]Louise A. Dennis, Marie Farrell, Michael Fisher:
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR abs/2305.11534 (2023) - [i28]Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, Nick Schuster:
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). Dagstuhl Reports 13(9): 103-115 (2023) - 2022
- [j83]Michael Fisher, Sven Koenig, Marija Slavkovik:
AI Journal Special Issue on Ethics for Autonomous Systems. Artif. Intell. 305: 103677 (2022) - [j82]Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
Verifiable autonomy: From theory to applications. AI Commun. 35(4): 421-431 (2022) - [j81]Georgios Kourtis
, Clare Dixon
, Michael Fisher
, Alexei Lisitsa
:
Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 60(2): 325-326 (2022) - [j80]Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield:
Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. 29(1): 99-101 (2022) - [c132]Joe Collenette, Louise A. Dennis, Michael Fisher:
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM 2022: 62-76 - [c131]Rafael C. Cardoso
, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM 2022: 193-207 - [i27]Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022) - 2021
- [j79]Michael Fisher
, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff
, Michael Winikoff, Neil Yorke-Smith
:
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35(1): 8 (2021) - [j78]Georgios Kourtis
, Clare Dixon
, Michael Fisher
, Alexei P. Lisitsa
:
Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58(3): 440-468 (2021) - [j77]Angelo Ferrando
, Rafael C. Cardoso
, Marie Farrell, Matt Luckcuck
, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1): 44-76 (2021) - [j76]Gleifer Vaz Alves
, Louise Abigail Dennis
, Michael Fisher
:
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. J. Sens. Actuator Networks 10(3): 41 (2021) - [j75]Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
:
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics 12(1): 402-422 (2021) - [j74]Michael Fisher
, Rafael C. Cardoso
, Emily C. Collins
, Christopher Dadswell, Louise A. Dennis
, Clare Dixon
, Marie Farrell
, Angelo Ferrando
, Xiaowei Huang
, Mike Jump
, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck
, Shan Luo
, Vincent Pagé, Fabio Papacchini
, Matt Webster
:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021) - [j73]Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump
, Michael Fisher
:
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics 10(3): 97 (2021) - [j72]Angelo Ferrando
, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona
, Viviana Mascardi:
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021) - [c130]Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher:
Verifiable Machine Ethics in Changing Contexts. AAAI 2021: 11470-11478 - [c129]Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS 2021: 1733-1734 - [c128]Rafael C. Cardoso
, Angelo Ferrando
, Louise A. Dennis
, Michael Fisher
:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41 - [c127]Rafael C. Cardoso
, John L. Michaloski, Craig Schlenoff, Angelo Ferrando
, Louise A. Dennis
, Michael Fisher
:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021 - [c126]Marie Farrell, Matt Luckcuck
, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace
:
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. ISSRE Workshops 2021: 401-406 - [c125]Michael Fisher
, Angelo Ferrando
, Rafael C. Cardoso
:
Increasing confidence in autonomous systems. VORTEX@ISSTA 2021: 1-4 - [c124]Hamza Bourbouh, Marie Farrell
, Anastasia Mavridou
, Irfan Sljivo
, Guillaume Brat, Louise A. Dennis
, Michael Fisher
:
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM 2021: 53-71 - [p6]Raja Chatila, Virginia Dignum, Michael Fisher
, Fosca Giannotti, Katharina Morik, Stuart Russell, Karen Yeung:
Trustworthy AI. Reflections on Artificial Intelligence for Humanity 2021: 13-39 - 2020
- [j71]Paul Gainer
, Sven Linker
, Clare Dixon
, Ullrich Hustadt
, Michael Fisher
:
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55(3): 171-221 (2020) - [j70]Matt Webster, David G. Western
, Dejanira Araiza-Illan, Clare Dixon
, Kerstin Eder
, Michael Fisher
, Anthony G. Pipe:
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39(1) (2020) - [j69]Matt Webster, Michael Breza, Clare Dixon
, Michael Fisher
, Julie A. McCann:
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45: 101183 (2020) - [j68]Louise A. Dennis
, Michael Fisher
:
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108(7): 1011-1026 (2020) - [c123]Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher:
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA 2020: 7-11 - [c122]Rafael C. Cardoso
, Angelo Ferrando
, Louise A. Dennis
, Michael Fisher
:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205 - [c121]Rafael C. Cardoso
, Marie Farrell
, Matt Luckcuck
, Angelo Ferrando
, Michael Fisher
:
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM 2020: 353-360 - [c120]Xingyu Zhao
, Alec Banks, James Sharp
, Valentin Robu
, David Flynn
, Michael Fisher
, Xiaowei Huang
:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP 2020: 244-259 - [c119]Angelo Ferrando
, Rafael C. Cardoso
, Michael Fisher
, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c118]Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher
, Matt Luckcuck
:
Towards Compositional Verification for Modular Robotic Systems. FMAS 2020: 15-22 - [i26]Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR abs/2001.09124 (2020) - [i25]Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR abs/2003.05311 (2020) - [i24]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR abs/2007.10045 (2020)
2010 – 2019
- 2019
- [j67]Matt Luckcuck
, Marie Farrell
, Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52(5): 100:1-100:41 (2019) - [j66]Paul Bremner
, Louise A. Dennis
, Michael Fisher
, Alan F. T. Winfield
:
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE 107(3): 541-561 (2019) - [c117]Xingyu Zhao
, Valentin Robu
, David Flynn
, Fateme Dinmohammadi, Michael Fisher
, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI 2019: 8066-8074 - [c116]Vincent J. Koeman
, Louise A. Dennis
, Matt Webster, Michael Fisher
, Koen V. Hindriks
:
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS 2019: 152-172 - [c115]Rafael C. Cardoso
, Louise A. Dennis
, Michael Fisher
:
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS 2019: 195-212 - [c114]Gleifer Vaz Alves
, Louise A. Dennis
, Michael Fisher
:
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. FM Workshops (1) 2019: 217-232 - [c113]Matt Luckcuck
, Marie Farrell
, Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM 2019: 538-541 - [c112]Xingyu Zhao
, Matthew Osborne, Jenny Lantair, Valentin Robu
, David Flynn
, Xiaowei Huang, Michael Fisher
, Fabio Papacchini, Angelo Ferrando
:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124 - [c111]Marie Farrell
, Matthew Bradbury
, Michael Fisher
, Louise A. Dennis
, Clare Dixon
, Hu Yuan
, Carsten Maple:
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM 2019: 471-490 - [i23]Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster:
Modular Verification of Autonomous Space Robotics. CoRR abs/1908.10738 (2019) - [i22]Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR abs/1909.03019 (2019) - [i21]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR abs/1911.11597 (2019) - [i20]Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss
:
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). Dagstuhl Reports 9(4): 59-86 (2019) - 2018
- [j65]Muffy Calder
, Simon Dobson
, Michael Fisher
, Julie A. McCann:
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7(4): 62 (2018) - [j64]Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [j63]Jonathan M. Aitken
, Sandor M. Veres, Affan Shaukat, Yang Gao
, Elisa Cucco, Louise A. Dennis
, Michael Fisher
, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort:
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33(6): 47-55 (2018) - [j62]Louise A. Dennis, Michael Fisher
, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018) - [c110]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c109]Michael Winikoff, Louise A. Dennis
, Michael Fisher
:
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS 2018: 139-157 - [c108]Maryam Kamali, Sven Linker
, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS 2018: 18-36 - [c107]Paul Gainer
, Sven Linker
, Clare Dixon
, Ullrich Hustadt
, Michael Fisher
:
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM 2018: 160-176 - [c106]Marie Farrell
, Matt Luckcuck
, Michael Fisher
:
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. IFM 2018: 161-171 - [c105]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM 2018 - [c104]Michael Fisher
, Emily C. Collins
, Louise A. Dennis
, Matt Luckcuck
, Matt Webster, Mike Jump
, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi
, David Flynn
, Valentin Robu
, Xingyu Zhao
:
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops 2018: 341-348 - [c103]Angelo Ferrando
, Louise A. Dennis
, Davide Ancona, Michael Fisher
, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [i19]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR abs/1801.01422 (2018) - [i18]Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR abs/1803.10478 (2018) - [i17]Maryam Kamali, Sven Linker, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR abs/1804.06647 (2018) - [i16]Marie Farrell, Matt Luckcuck
, Michael Fisher:
Robotics and Integrated Formal Methods: Necessity meets Opportunity. CoRR abs/1805.11996 (2018) - [i15]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR abs/1807.00048 (2018) - [i14]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-Scale Verification of Distributed Synchronisation. CoRR abs/1809.10655 (2018) - [i13]Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR abs/1812.04128 (2018) - 2017
- [j61]Maryam Kamali
, Louise A. Dennis
, Owen McAree, Michael Fisher
, Sandor M. Veres:
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148: 88-106 (2017) - [c102]Paul Gainer
, Clare Dixon
, Kerstin Dautenhahn
, Michael Fisher
, Ullrich Hustadt, Joe Saunders, Matt Webster
:
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS 2017: 119-133 - [c101]Paul Gainer
, Sven Linker
, Clare Dixon
, Ullrich Hustadt, Michael Fisher
:
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST 2017: 224-239 - [c100]Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves
, Michael Fisher
:
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. FVAV@iFM 2017: 35-42 - [i12]Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy:
Towards Moral Autonomous Systems. CoRR abs/1703.04741 (2017) - [i11]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR abs/1709.04385 (2017) - [i10]Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum:
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. CoRR abs/1709.07171 (2017) - 2016
- [j60]Louise A. Dennis
, Michael Fisher
, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23(3): 305-359 (2016) - [j59]Louise A. Dennis
, Michael Fisher
, Marija Slavkovik
, Matt Webster
:
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77: 1-14 (2016) - [j58]Matt Webster
, Clare Dixon
, Michael Fisher
, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
, Joan Saez-Pons:
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. 46(2): 186-196 (2016) - [c99]Louise A. Dennis
, Marija Slavkovik, Michael Fisher
:
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. COIN@AAMAS/ECAI 2016: 42-59 - [c98]Louise A. Dennis
, Jonathan M. Aitken
, Joe Collenette, Elisa Cucco, Maryam Kamali
, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao
, Sandor M. Veres, Michael Fisher
:
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS 2016: 75-86 - [i9]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal Verification of Autonomous Vehicle Platooning. CoRR abs/1602.01718 (2016) - [i8]Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR abs/1608.07403 (2016) - [i7]Michael Fisher, Christian List, Marija Slavkovik, Alan F. T. Winfield:
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). Dagstuhl Reports 6(5): 114-137 (2016) - 2015
- [j57]Marija Slavkovik
, Louise A. Dennis
, Michael Fisher
:
An abstract formal basis for digital crowds. Distributed Parallel Databases 33(1): 3-31 (2015) - [j56]Savas Konur, Michael Fisher
:
A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30(3): 324-341 (2015) - [c97]Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics 2015 - [c96]M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks:
A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. AAMAS 2015: 423-432 - [i6]Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. CoRR abs/1504.03592 (2015) - 2014
- [j55]Savas Konur, Michael Fisher
, Simon Dobson
, Stephen Knox:
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26(4): 677-694 (2014) - [j54]Matthew P. Webster
, Neil Cameron, Michael Fisher
, Mike Jump
:
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11(5): 258-279 (2014) - [j53]Louise A. Dennis
, Michael Fisher
, Jonathan M. Aitken
, Sandor M. Veres, Yang Gao
, Affan Shaukat, Guy Burroughes:
Reconfigurable Autonomy. Künstliche Intell. 28(3): 199-207 (2014) - [j52]Michael Fisher
, Leendert W. N. van der Torre
, Mehdi Dastani, Guido Governatori
:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). J. Log. Comput. 24(6): 1251-1252 (2014) - [c95]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia 2014 - [c94]Louise A. Dennis, Michael Fisher
:
Actions with Durations and Failures in BDI Languages. ECAI 2014: 995-996 - [c93]Clare Dixon
, Matthew P. Webster
, Joe Saunders, Michael Fisher
, Kerstin Dautenhahn
:
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS 2014: 97-108 - [p5]Clare Dixon, Michael Fisher:
On and On the Temporal Way. HOWARD-60 2014: 85-111 - [i5]Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An Abstract Formal Basis for Digital Crowds. CoRR abs/1408.1592 (2014) - 2013
- [j51]Michael Fisher
, Louise A. Dennis, Matthew P. Webster:
Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013) - [j50]Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher
, Alexei Lisitsa:
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8(4): 25-38 (2013) - [j49]Clare Dixon
, Boris Konev, Michael Fisher
, Sherly Nietiadi:
Deductive temporal reasoning with constraints. J. Appl. Log. 11(1): 30-51 (2013) - [j48]Savas Konur, Michael Fisher
, Sven Schewe
:
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013) - [c92]M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks:
Agent reasoning for norm compliance: a semantic approach. AAMAS 2013: 499-506 - [c91]Louise A. Dennis
, Michael Fisher
, Matthew P. Webster
:
Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289 - [c90]Louise A. Dennis
, Michael Fisher
, Marija Slavkovik
, Matthew P. Webster
:
Ethical Choice in Unforeseen Circumstances. TAROS 2013: 433-445 - [i4]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR abs/1310.2431 (2013) - 2012
- [j47]Louise A. Dennis
, Michael Fisher
, Matthew P. Webster
, Rafael H. Bordini
:
Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012) - [j46]Savas Konur, Clare Dixon
, Michael Fisher
:
Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60(2): 199-213 (2012) - [j45]Clare Dixon
, Alan F. T. Winfield
, Michael Fisher
, Chengxiu Zeng:
Towards temporal verification of swarm robotic systems. Robotics Auton. Syst. 60(11): 1429-1441 (2012) - [c89]Matt Webster, Neil Cameron, Michael Jump
, Michael Fisher:
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. Infotech@Aerospace 2012 - [c88]Richard Stocker, Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397 - [c87]Amir Niknafs-Kermani, Boris Konev, Michael Fisher
:
Symmetric Temporal Theorem Proving. TIME 2012: 21-28 - [e8]Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
:
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 [contents] - 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 - [j44]Jürgen Dix, Michael Fisher
:
Where logic and agents meet. Ann. Math. Artif. Intell. 61(1): 15-28 (2011) - [j43]Manuela-Luminita Bujorianu, Michael Fisher
, Corina S. Pasareanu:
Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011) - [j42]Michael Fisher
:
Agent deliberation in an executable temporal framework. J. Appl. Log. 9(4): 223-238 (2011) - [c86]Richard Stocker, Maarten Sierhuis, Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
A Formal Semantics for Brahms. CLIMA 2011: 259-274 - [c85]Matthew P. Webster
, Michael Fisher
, Neil Cameron, Mike Jump
:
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP 2011: 228-242 - [c84]Clare Dixon
, Alan F. T. Winfield
, Michael Fisher
:
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS 2011: 336-347 - [c83]Savas Konur, Michael Fisher
:
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. VTC Spring 2011: 1-5 - 2010
- [j41]Michael Fisher
, Chiara Ghidini
:
Executable specifications of resource-bounded agents. Auton. Agents Multi Agent Syst. 21(3): 368-396 (2010) - [j40]Louise A. Dennis
, Michael Fisher
, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres:
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25(3): 92-97 (2010) - [c82]Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa:
An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP 2010: 310-317 - [c81]Savas Konur, Clare Dixon
, Michael Fisher
:
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447 - [c80]Louise A. Dennis
, Michael Fisher
, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111 - [e7]Jürgen Dix, Michael Fisher
, Peter Novák:
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 [contents]
2000 – 2009
- 2009
- [j39]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j38]Abdelkader Behdenna, Clare Dixon
, Michael Fisher
:
Deductive verification of simple foraging robotic behaviours. Int. J. Intell. Comput. Cybern. 2(4): 604-643 (2009) - [j37]Michael Fisher
, Chiara Ghidini
:
Exploring the Future with Resource-Bounded Agents. J. Log. Lang. Inf. 18(1): 3-21 (2009) - [j36]Rafael H. Bordini
, Michael Fisher
, Michael J. Wooldridge, Willem Visser:
Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) - [c79]Clare Dixon
, Michael Fisher
, Boris Konev:
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS 2009: 198-213 - [c78]Rafael H. Bordini, Michael Fisher
, Maarten Sierhuis:
Formal verification of human-robot teamwork. HRI 2009: 267-268 - [c77]Louise A. Dennis
, Michael Fisher
, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Agent Based Approaches to Engineering Autonomous Space Software. FMA 2009: 63-67 - [p4]Michael Fisher
, Anthony Hepple:
Executing Logical Agent Specifications. Multi-Agent Programming, Languages, Tools and Applications 2009: 1-27 - [p3]Michael Fisher
, Boris Konev, Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance 2009: 44-56 - [p2]Paolo Ballarini
, Michael Fisher
, Michael J. Wooldridge:
Uncertain Agent Verification through Probabilistic Model-Checking. Safety and Security in Multiagent Systems 2009: 162-174 - [e6]Michael Fisher
, Fariba Sadri, Michael Thielscher:
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 [contents] - [e5]Manuela-Luminita Bujorianu, Michael Fisher:
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 20, 2009 [contents] - 2008
- [j35]Nivea de Carvalho Ferreira, Michael Fisher
, Wiebe van der Hoek:
Specifying and reasoning about uncertain agents. Int. J. Approx. Reason. 49(1): 35-51 (2008) - [c76]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher:
A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306 - [c75]Rafael H. Bordini, Louise A. Dennis
, Berndt Farwer
, Michael Fisher
:
Automated Verification of Multi-Agent Programs. ASE 2008: 69-78 - [c74]Louise A. Dennis
, Michael Fisher
:
Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55 - [c73]Clare Dixon
, Michael Fisher
, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. TIME 2008: 156-163 - [r2]Michael Fisher
:
Temporal Representation and Reasoning. Handbook of Knowledge Representation 2008: 513-550 - 2007
- [j34]Michael Fisher
, Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007) - [j33]Michael Fisher
, Rafael H. Bordini
, Benjamin Hirsch
, Paolo Torroni
:
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Comput. Intell. 23(1): 61-91 (2007) - [j32]Michael Fisher
, Munindar P. Singh
, Diana F. Spears, Michael J. Wooldridge:
Logic-Based Agent Verification. J. Appl. Log. 5(2): 193-195 (2007) - [c72]Louise A. Dennis
, Michael Fisher
, Anthony Hepple:
Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156 - [c71]Clare Dixon, Michael Fisher
, Boris Konev:
Temporal Logic with Capacity Constraints. FroCoS 2007: 163-177 - [c70]Clare Dixon, Michael Fisher, Boris Konev:
Tractable Temporal Reasoning. IJCAI 2007: 318-323 - [c69]Anthony Hepple, Louise A. Dennis
, Michael Fisher
:
A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88 - [c68]Louise A. Dennis
, Berndt Farwer
, Rafael H. Bordini, Michael Fisher
, Michael J. 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
- [j31]Rafael H. Bordini
, Michael Fisher
, Willem Visser, Michael J. Wooldridge:
Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. 12(2): 239-256 (2006) - [j30]Maroua Bouzid, Carlo Combi
, Michael Fisher
, Gérard Ligozat:
Guest editorial: Temporal representation and reasoning. Ann. Math. Artif. Intell. 46(3): 231-234 (2006) - [j29]Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher
, Simon Parsons:
Model Checking for Multiagent Systems: the Mable Language and its Applications. Int. J. Artif. Intell. Tools 15(2): 195-226 (2006) - [j28]Anatoli Degtyarev, Michael Fisher, Boris Konev:
Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006) - [c67]Clare Dixon
, Michael Fisher
, Boris Konev:
Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18 - [c66]Clare Dixon
, M. Carmen Fernández Gago, Michael Fisher
, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security. ICS@SYNASC 2006: 27-42 - [e4]Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa:
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 [contents] - 2005
- [j27]Clare Dixon
, Alexander Bolotov, Michael Fisher
:
Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. 135(1-3): 263-285 (2005) - [j26]Boris Konev, Anatoli Degtyarev, Clare Dixon
, Michael Fisher
, Ullrich Hustadt
:
Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005) - [j25]M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon
, Michael Fisher
, Boris Konev:
First-Order Temporal Verification in Practice. J. Autom. Reason. 34(3): 295-321 (2005) - [c65]Michael Fisher
:
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). CLIMA 2005: 129-142 - [c64]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
Logical Implementation of Uncertain Agents. EPIA 2005: 536-547 - [c63]Michael Fisher
:
MetateM: The Story so Far. PROMAS 2005: 3-22 - [c62]Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100 - [c61]Paolo Ballarini
, Michael Fisher
, Michael J. Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study. MoChArt@CONCUR/SPIN 2005: 125-137 - [e3]Michael Fisher, Dov M. Gabbay, Lluís Vila:
Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence 1, Elsevier 2005, ISBN 978-0-444-51493-6 [contents] - [r1]Michael Fisher
, Michael J. Wooldridge:
Temporal Reasoning in Agent-Based Systems. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 469-495 - 2004
- [j24]Michael Fisher
:
Temporal Development Methods for Agent-Based. Auton. Agents Multi Agent Syst. 10(1): 41-66 (2004) - [j23]Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling:
Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) - [j22]Rafael H. Bordini
, Michael Fisher
, Willem Visser, Michael J. Wooldridge:
Model Checking Rational Agents. IEEE Intell. Syst. 19(5): 46-52 (2004) - [j21]Clare Dixon
, Cláudia Nalon, Michael Fisher
:
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics 14(4): 397-445 (2004) - [j20]Alessandro Artale, Clare Dixon
, Michael Fisher
, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c60]Cláudia Nalon, Clare Dixon, Michael Fisher:
Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248 - [c59]Michael Fisher, Alexei Lisitsa:
Monodic ASMs and Temporal Verification. Abstract State Machines 2004: 95-110 - [c58]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 - [c57]Michael Fisher, Chiara Ghidini, Benjamin Hirsch
:
Programming Groups of Rational Agents. CLIMA 2004: 16-33 - [c56]Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta:
Organising Software in Active Environments. CLIMA 2004: 265-280 - [c55]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94 - [c54]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
- [c53]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge:
Model checking agentspeak. AAMAS 2003: 409-416 - [c52]Anatoli Degtyarev, Michael Fisher, Boris Konev:
Monodic Temporal Resolution. CADE 2003: 397-411 - [c51]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge:
Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 - [c50]Michael Fisher, Chiara Ghidini, Benjamin Hirsch
:
Organising Computation through Dynamic Grouping. Objects, Agents, and Features 2003: 117-136 - [c49]Boris Konev, Anatoli Degtyarev, Michael Fisher:
Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228 - [c48]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifiable Multi-agent Programs. PROMAS 2003: 72-89 - [c47]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 - [c46]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
- [j19]Clare Dixon
, Michael Fisher
, Alexander Bolotov:
Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002) - [j18]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) - [j17]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) - [j16]Anatoli Degtyarev, Michael Fisher
, Alexei Lisitsa:
Equality and Monodic First-Order Temporal Logic. Stud Logica 72(2): 147-156 (2002) - [c45]Michael Fisher, Chiara Ghidini:
The abc of rational agent modelling. AAMAS 2002: 849-856 - [c44]Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons:
Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959 - [c43]Michael Fisher, Chiara Ghidini, Benjamin Hirsch
:
Organising Logic-Based Agents. FAABS 2002: 15-27 - [c42]M. Carmen Fernández Gago, Michael Fisher, Clare Dixon:
Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252 - [c41]James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa:
Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101 - [c40]Anatoli Degtyarev, Michael Fisher, Boris Konev:
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002: 85-99 - [c39]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:
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 [contents] - 2001
- [j15]Michael Fisher
, Clare Dixon
, Martin Peim:
Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001) - [c38]Anatoli Degtyarev, Michael Fisher:
Towards First-Order Temporal Resolution. KI/ÖGAI 2001: 18-32 - [c37]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
- [c36]Anatoli Degtyarev, Michael Fisher:
Propositional Temporal Resolution Revised. ARW 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]Michael Fisher:
Direct Execution of Agent Specifications. FAABS 2000: 163 - [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
- [j14]Alexander Bolotov, Michael Fisher
:
A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11(1): 77-93 (1999) - [j13]Keith Decker, Michael Fisher
, Michael Luck
, Moshe Tennenholtz:
Continuing research in multi-agent systems. Knowl. Eng. Rev. 14(3): 279-283 (1999) - [c30]Michael Fisher, Chiara Ghidini:
Programming Resource-Bounded Deliberative Agents. IJCAI 1999: 200-205 - [c29]Alexander Bolotov, Clare Dixon, Michael Fisher:
Clausal Resolution for CTL*. MFCS 1999: 137-148 - [i1]Michael Fisher, Clare Dixon, Martin Peim:
Clausal Temporal Resolution. CoRR cs.LO/9907032 (1999) - 1998
- [j12]Michael J. Wooldridge, Clare Dixon
, Michael Fisher
:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. J. Appl. Non Class. Logics 8(3): 225-258 (1998) - [j11]Michael Luck
, Mark d'Inverno, Michael Fisher
:
Foundations of Multi-Agent Systems: Techniques, Tools and Theory. Knowl. Eng. Rev. 13(3): 297-302 (1998) - [j10]Clare Dixon
, Michael Fisher
, Michael J. Wooldridge:
Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) - [c28]Michael Fisher:
Representing Abstract Agent Architectures. ATAL 1998: 227-241 - [c27]R. I. Scott, Michael Fisher, John A. Keane:
Parallel Temporal Tableaux. Euro-Par 1998: 852-861 - [c26]Clare Dixon
, Michael Fisher
:
The Set of Support Strategy in Temporal Resolution. TIME 1998: 113-120 - 1997
- [j9]Michael Fisher
, Michael J. Wooldridge:
On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997) - [j8]Mark d'Inverno, Michael Fisher
, Alessio Lomuscio
, Michael Luck
, Maarten de Rijke
, Mark Ryan
, Michael J. Wooldridge:
Formalisms for multi-agent systems. Knowl. Eng. Rev. 12(3): 315-321 (1997) - [j7]Michael Fisher
, Jörg P. Müller, Michael Schroeder, Geof Staniford, Gerd Wagner
:
Methodological foundations for agent-based systems. Knowl. Eng. Rev. 12(3): 323-329 (1997) - [j6]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]Marco Mulder, Jan Treur
, Michael Fisher:
Agent Modelling in METATEM and DESIRE. ATAL 1997: 193-207 - [c24]Adam Kellett, Michael Fisher:
Concurrent METATEM as a Coordination Language. COORDINATION 1997: 418-421 - [c23]Michael Fisher:
Implementing BDI-like Systems by Direct Execution. IJCAI (1) 1997: 316-321 - [c22]Michael Fisher
, Michael J. 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]Adam Kellett, Michael Fisher:
Automata Representations for Concurrent METATEM. TIME 1997: 12-19 - [c19]Alexander Bolotov, Michael Fisher:
A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997: 20-27 - [p1]Michael Fisher
:
An alternative approach to concurrent theorem-proving. Parallel Processing for Artificial Intelligence 3 1997: 209-230 - 1996
- [j5]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. Log. J. IGPL 4(2): 255-272 (1996) - [j4]Michael Fisher
:
Temporal Semantics for Concurrent Metatem. J. Symb. Comput. 22(5/6): 627-648 (1996) - [j3]Michael Fisher:
An introduction to executable temporal logics. Knowl. Eng. Rev. 11(1): 43-56 (1996) - [c18]Michael Fisher:
If Z Is the Answer, What Could the Question Possibly Be? ATAL 1996: 65-66 - [c17]Michael Fisher
, Michael J. 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 Aspects 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:
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 [contents] - 1994
- [c15]Michael Fisher
:
Representing and Executing Agent-Based Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 307-323 - [c14]Michael J. 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 J. 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]Michael Fisher:
Concurrent METATEM - A Language for Modelling Reactive Systems. PARLE 1993: 185-196 - 1992
- [j1]Michael Fisher
:
A Model Checker for Linear Time Temporal Logic. Formal Aspects Comput. 4(3): 299-319 (1992) - [c7]Michael Fisher:
A Normal Form for First-Order Temporal Formulae. CADE 1992: 370-384 - [c6]Michael J. 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]Michael Fisher:
A Resolution Method for Temporal Logic. IJCAI 1991: 99-104 - [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
aka: Louise Abigail Dennis
aka: Alexei P. Lisitsa
aka: Matt Webster
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint