Michael Fisher

发表

Clare Dixon, Michael Fisher, Alexander Bolotov, 2002, Artif. Intell..
Michael Fisher, John A. Keane, 1995, Programming Models for Massively Parallel Computers.
Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, AAMAS.
Michael Fisher, Michael Fisher, 1993, PARLE.
Michael Wooldridge, Michael Fisher, Michael Fisher, 1995 .
Julie A. McCann, Michael Fisher, Simon A. Dobson, 2018, Comput..
Michael Fisher, Marija Slavkovik, Louise A. Dennis, 2016, Robotics Auton. Syst..
Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2010 .
Clare Dixon, Michael Fisher, Louise A. Dennis, 2012, JELIA.
Michael Fisher, Felix Lindner, Louise Dennis, 2018 .
Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Michael Wooldridge, Michael Fisher, Michael Fisher, 1992, ECAI.
Michael Fisher, John A. Keane, R. I. Scott, 1998, Euro-Par.
Michael Fisher, Howard Barringer, Graham Gough, 1989, Automatic Verification Methods for Finite State Systems.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Inf. Comput..
Michael Fisher, Marie Farrell, Matt Luckcuck, 2018, IFM.
Michael Fisher, Michael Fisher, 1998, ATAL.
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, DALT.
Michael Fisher, Louise A. Dennis, Matthew P. Webster, 2018, J. Log. Comput..
Michael Fisher, Richard Owens, Michael Fisher, 1993, Lecture Notes in Computer Science.
Michael Fisher, Sven Schewe, Savas Konur, 2013, Theor. Comput. Sci..
Michael Fisher, David Flynn, Valentin Robu, 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Julie A. McCann, Michael Breza, Clare Dixon, 2018, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Clare Dixon, Michael Fisher, Alan F. T. Winfield, 2012, Robotics Auton. Syst..
Michael Fisher, Louise A. Dennis, Michael Fisher, 2018, ISAIM.
Clare Dixon, Michael Fisher, M. Carmen Fernández Gago, 2002, KI.
Michael Fisher, Adam Kellett, 1997, COORDINATION.
Michael Wooldridge, Michael Fisher, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.
Michael Fisher, Neil Cameron, Matthew P. Webster, 2011, SAFECOMP.
Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2008 .
Michael Fisher, 1997, Parallel Processing for Artificial Intelligence 3.
Michael Wooldridge, Michael Fisher, Michael Fisher, 1997, Int. J. Cooperative Inf. Syst..
Michael Fisher, David Flynn, Valentin Robu, 2018, AAAI.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
Michael Fisher, Michael Fisher, 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.
Clare Dixon, Michael Fisher, Savas Konur, 2010, ANTS Conference.
Michael Fisher, Alexander Bolotov, 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, ALCOSP.
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003, TOCL.
Michael Fisher, Savas Konur, Michael Fisher, 2011, 2011 IEEE 73rd Vehicular Technology Conference (VTC Spring).
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1989, REX Workshop.
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2002, TABLEAUX.
Clare Dixon, Michael Fisher, Evgeni Magid, 2013, ICSR 2013.
Michael Fisher, John A. Keane, Kish Shen, 1997 .
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2017, FMICS-AVoCS.
Michael Fisher, Alexei Lisitsa, Boris Konev, 2005, VISSAS.
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Julie A. McCann, Michael Fisher, Simon A. Dobson, 2018, ArXiv.
Ian Horrocks, M. de Rijke, Maarten de Rijke, 2002, Artificial Intelligence Review.
Michael Fisher, Hailman, Michael Fisher, 2008 .
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, IEEE Intelligent Systems.
Michael Fisher, Louise A. Dennis, Anthony Hepple, 2008, LADS.
Michael Wooldridge, Michael Fisher, Paolo Ballarini, 2006, Electron. Notes Theor. Comput. Sci..
Michael Fisher, Michael Fisher, 2008, Handbook of Knowledge Representation.
Clare Dixon, Michael Fisher, Boris Konev, 2007, IJCAI.
Michael Fisher, Marija Slavkovik, Louise A. Dennis, 2013, TAROS.
Michael Wooldridge, Michael Fisher, Michael Fisher, 2002 .
Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .
Michael Fisher, Louise A. Dennis, Michael Fisher, 2014, ECAI.
Michael Fisher, Maryam Kamali, Sandor M. Veres, 2016, Sci. Comput. Program..
Michael Fisher, Alexander Bolotov, 1999, J. Exp. Theor. Artif. Intell..
Michael Fisher, Michael Fisher, 2004, Autonomous Agents and Multi-Agent Systems.
Michael Fisher, Richard Owens, Michael Fisher, 1992, LPAR.
Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2009, 2009 4th ACM/IEEE International Conference on Human-Robot Interaction (HRI).
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, FMA.
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2000, FAABS.
Michael Fisher, Michael Fisher, 1987 .
Gerd Wagner, Michael Fisher, Michael Schroeder, 1997, Knowl. Eng. Rev..
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003, LPAR.
Affan Shaukat, Michael Fisher, Jonathan M. Aitken, 2018, IEEE Intelligent Systems.
Michael Fisher, Gérard Ligozat, Carlo Combi, 2006, Annals of Mathematics and Artificial Intelligence.
Michael Fisher, Neil Cameron, Matthew P. Webster, 2014, J. Aerosp. Inf. Syst..
Michael Wooldridge, Michael Fisher, Simon Parsons, 2006, Int. J. Artif. Intell. Tools.
Michael Fisher, Ray Paton, Grant Malcolm, 2004, Cellular Computing.
Michael Fisher, Alexei Lisitsa, Boris Konev, 2009, Methods, Models and Tools for Fault Tolerance.
Jürgen Dix, Michael Fisher, Michael Fisher, 2010, Annals of Mathematics and Artificial Intelligence.
Michael Wooldridge, Clare Dixon, Michael Fisher, 1996, FAPR.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1995, Formal Aspects of Computing.
Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .
Michael Fisher, Wiebe van der Hoek, 2007, Annals of Mathematics and Artificial Intelligence.
Michael Fisher, John A. Keane, Robert Johnson, 1995, Parallel and Distributed Computing and Systems.
Michael Fisher, Alan F. T. Winfield, Louise A. Dennis, 2015, AAAI Workshop: AI and Ethics.
Michael Fisher, 2000, Proceedings Fourth International Conference on MultiAgent Systems.
Clare Dixon, Michael Fisher, Alan F. T. Winfield, 2011, TAROS.
Michael Winikoff, Michael Fisher, Louise A. Dennis, 2018, EMAS@AAMAS.
Michael Fisher, Chiara Ghidini, Michael Fisher, 2002, Foundations and Applications of Multi-Agent Systems.
Michael Fisher, Anatoli Degtyarev, Michael Fisher, 2001, KI/ÖGAI.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Journal of Automated Reasoning.
Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2002, FAABS.
Michael Wooldridge, Michael Fisher, Michael Fisher, 1994, ICTL.
Dov M. Gabbay, Michael Fisher, Lluis Vila, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.
Clare Dixon, Michael Fisher, Alexander Bolotov, 2005, Ann. Pure Appl. Log..
Michael Wooldridge, Michael Fisher, 1996, FME 1996.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 2000 .
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2013, Automated Software Engineering.
Michael Fisher, Anthony Hepple, Michael Fisher, 2009, Multi-Agent Programming, Languages, Tools and Applications.
Michael Wooldridge, Michael Fisher, Paolo Ballarini, 2009, Safety and Security in Multiagent Systems.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2004, IEEE Intelligent Systems.
Rafael H. Bordini, Michael Fisher, Louise A. Dennis, 2012, Automated Software Engineering.
Clare Dixon, Michael Fisher, Boris Konev, 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).
Clare Dixon, Michael Fisher, Michael Fisher, 2000 .
Udo Kruschwitz, Michael Fisher, Massimo Poesio, 2013 .
Clare Dixon, Michael Fisher, Kerstin Dautenhahn, 2014, AAAI Spring Symposia.
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010 .
Michael Fisher, Michael Fisher, 2005, PROMAS.
Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2008, Int. J. Approx. Reason..
Clare Dixon, Michael Fisher, Alexei Lisitsa, 2007, ArXiv.
Michael Fisher, Anatoli Degtyarev, 2000, ARW.
Michael Wooldridge, Michael Fisher, Munindar P. Singh, 2007, J. Appl. Log..
Michael Fisher, Michael Fisher, 1993, Executable Modal and Temporal Logics.
Koen V. Hindriks, Michael Fisher, M. Birna van Riemsdijk, 2015, AAMAS.
Clare Dixon, Michael Fisher, Martin Peim, 1999, TOCL.
Clare Dixon, Michael Fisher, Alexei Lisitsa, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.
Clare Dixon, Michael Fisher, Boris Konev, 2009, FroCoS.
Michael Fisher, Chiara Ghidini, Michael Fisher, 1999, IJCAI.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 2000 .
Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2003, Objects, Agents, and Features.
Michael Fisher, Benjamin Hirsch, Paolo Busetta, 2004, CLIMA.
Michael Fisher, Michael Fisher, 1991, IJCAI.
Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2004, CLIMA.
Michael Fisher, Michael Fisher, 1992, CADE.
Michael Fisher, Philippe Noel, Michael Fisher, 1992 .
Michael Fisher, Philippe Noel, 1996 .
Clare Dixon, Michael Fisher, Abdelkader Behdenna, 2009, Int. J. Intell. Comput. Cybern..
Michael Fisher, Louise A. Dennis, Anthony Hepple, 2008, CLIMA.
Clare Dixon, Michael Fisher, Alexander Bolotov, 1999, MFCS.
Clare Dixon, Michael Fisher, Alexander Bolotov, 2000 .
Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..
Clare Dixon, Michael Fisher, Kerstin Dautenhahn, 2014, TAROS.
Michael Fisher, Chiara Ghidini, Michael Fisher, 2010, Autonomous Agents and Multi-Agent Systems.
Michael Fisher, Richard Owens, 1996 .
Clare Dixon, Michael Fisher, Cláudia Nalon, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Michael Fisher, Michael Fisher, 1996, The Knowledge Engineering Review.
Michael Fisher, Louise A. Dennis, Matthew P. Webster, 2013, CACM.
Michael Fisher, Michael Fisher, 1995 .
Michael Fisher, Michael Jump, Neil Cameron, 2012, Infotech@Aerospace.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2003, AAMAS '03.
Clare Dixon, Michael Fisher, Michael Fisher, 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.
Clare Dixon, Michael Fisher, Savas Konur, 2012, Robotics Auton. Syst..
Clare Dixon, Michael Fisher, Michael Fisher, 2014, HOWARD-60.
Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2008, AAMAS.
Michael Fisher, Marija Slavkovik, Louise A. Dennis, 2016, COIN@AAMAS/ECAI.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2007, PROMAS.
Clare Dixon, Michael Fisher, Alexander Bolotov, 2002, J. Log. Comput..
Michael Fisher, Manuela L. Bujorianu, 2009 .
Clare Dixon, Michael Fisher, Matt Webster, 2014 .
Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2005 .
Michael Fisher, Bing Zhang, Elizabeth Basha, 2015 .
Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1991, KR.
Michael Fisher, Lucas E. R. Fernandes, Gleifer V. Alves, 2017, FVAV@iFM.
Michael Wooldridge, Clare Dixon, Michael Fisher, 1998, J. Appl. Non Class. Logics.
Clare Dixon, Michael Fisher, Marie Farrell, 2018, ACM Comput. Surv..
Michael Fisher, Michael Jump, Neil Cameron, 2011 .
Michael Fisher, Chiara Ghidini, Antony Kakoudakis, 2006 .
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2003, PROMAS.
Michael Fisher, Marija Slavkovik, Roman Yampolskiy, 2017, ArXiv.
Michael Fisher, Savas Konur, Michael Fisher, 2014, The Knowledge Engineering Review.
Michael Fisher, Edward K. Baker, E. K. Baker, 1981 .
Michael Fisher, Louise A. Dennis, Michael Fisher, 2009, ProMAS.
Michael Fisher, Simon A. Dobson, Savas Konur, 2013, Formal Aspects of Computing.
Michael Wooldridge, Clare Dixon, Michael Fisher, 1998, J. Log. Comput..
Michael Fisher, Michael Fisher, 1996, ATAL.
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2000, FroCoS.
Affan Shaukat, Michael Fisher, Jonathan M. Aitken, 2014, KI - Künstliche Intelligenz.
Michael Fisher, Richard Owens, Michael Fisher, 1993, Executable Modal and Temporal Logics.
Michael Fisher, Howard Barringer, Michael Fisher, 1991 .
Michael Wooldridge, Michael Fisher, 1997 .
Michael Wooldridge, Michael Fisher, Michael Fisher, 1997, MAAMAW.
Michael Fisher, Adam Kellett, 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.
Clare Dixon, Michael Fisher, Michael Fisher, 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).
Michael Wooldridge, Michael Fisher, Simon Parsons, 2002, AAMAS '02.
Michael Fisher, Wenshuo Tang, David Flynn, 2018, 2018 Prognostics and System Health Management Conference (PHM-Chongqing).
Paolo Torroni, Rafael H. Bordini, Michael Fisher, 2007, Comput. Intell..
Michael Fisher, T. Kakoudakis, 1999 .
Affan Shaukat, Michael Fisher, Jonathan M. Aitken, 2016, TAROS.
Michael Wooldridge, Michael Fisher, Michael Fisher, 2006 .
Michael Fisher, Alexei Lisitsa, Anatoli Degtyarev, 2002, Stud Logica.
Guido Governatori, Mehdi Dastani, Leon van der Torre, 2014, J. Log. Comput..
Michael Fisher, 2000, FAABS.
Michael Fisher, Marija Slavkovik, Louise A. Dennis, 2014, Distributed and Parallel Databases.
Michael Fisher, Shapiro, 2002 .
Michael Fisher, Michael Fisher, 2011 .
Clare Dixon, Michael Fisher, Boris Konev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Michael Fisher, Alexei Lisitsa, Michael Fisher, 2004, Abstract State Machines.
Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael Fisher, Louise A. Dennis, Matthew P. Webster, 2013, CLIMA.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2009, J. Log. Comput..
Clare Dixon, Michael Fisher, Cláudia Nalon, 2004, J. Appl. Non Class. Logics.
Clare Dixon, Michael Fisher, Boris Konev, 2007, FroCoS.
Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2018, Formal Methods Syst. Des..
Koen V. Hindriks, Michael Fisher, M. Birna van Riemsdijk, 2013, AAMAS.
Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, RV.
Dov M. Gabbay, Michael Fisher, Lluis Vila, 2005 .
Michael Fisher, Michael Fisher, 2011, J. Appl. Log..
Michael Fisher, Alexei Lisitsa, James Brotherston, 2002, LPAR.
Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2013, IEEE Computational Intelligence Magazine.
Clare Dixon, Michael Fisher, Boris Konev, 2013, J. Appl. Log..
Michael Fisher, Louise A. Dennis, Elisa Cucco, 2017 .
Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2004, JELIA.
Michael Fisher, Michael Fisher, 1992, Formal Aspects of Computing.
Michael Wooldridge, Michael Fisher, Michael Fisher, 1993, EPIA.
Michael Fisher, L Liverpool, Michael Fisher, 2005 .
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1996 .
Michael Fisher, Louise A. Dennis, Paul Bremner, 2019, Proceedings of the IEEE.
Michael Fisher, Chiara Ghidini, Michael Fisher, 2002, AAMAS '02.
Michael Fisher, Chiara Ghidini, Michael Fisher, 2009, J. Log. Lang. Inf..
Michael Fisher, Michael Jump, Charles Patchett, 2015 .
Michael Fisher, Michael Fisher, 1997, IJCAI.
Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2005, EPIA.
Christian List, Michael Fisher, Marija Slavkovik, 2016, Dagstuhl Reports.
Michael Fisher, Louise A. Dennis, 2014 .
Clare Dixon, Michael Fisher, Mark Reynolds, 2000 .
Maarten Sierhuis, Clare Dixon, Michael Fisher, 2011, CLIMA.
Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2003, CAV.
Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2007, ICS@SYNASC.
Michael Fisher, Louise Dennis, Gleifer Vaz Alves, 2021, J. Sens. Actuator Networks.
Michael Winikoff, Viviana Mascardi, Michael Fisher, 2021, AAMAS.
Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2021, ACM Trans. Softw. Eng. Methodol..
Michael Fisher, Byers, 2003 .
Michael Fisher, C. Mattiussi, E. Mayr, 2005 .
Michael Fisher, Ruse, 2003 .
Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2008 .
Michael Fisher, Sven Schewe, Savas Konur, 2009 .
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003 .
Clare Dixon, Michael Fisher, Rob Johnson, 1995 .