Fisher, Michael

6 publications

AAAI 2021 Verifiable Machine Ethics in Changing Contexts Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher

AAAI 2019 Probabilistic Model Checking of Robots Deployed in Extreme Environments Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

IJCAI 2007 Tractable Temporal Reasoning Clare Dixon, Michael Fisher, Boris Konev

IJCAI 1999 Programming Resource-Bounded Deliberative Agents Michael Fisher, Chiara Ghidini

IJCAI 1997 Implementing BDI-like Systems by Direct Execution Michael Fisher

IJCAI 1991 A Resolution Method for Temporal Logic Michael Fisher