27 found
Order:
Disambiguations
Michael Fisher [19]Michael H. Fisher [12]Michael E. Fisher [2]Michael R. Fisher [1]
  1. Equality and Monodic First-Order Temporal Logic.Anatoli Degtyarev, Michael Fisher & Alexei Lisitsa - 2002 - Studia Logica 72 (2):147-156.
    It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  36
    A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
    ABSTRACT In this paper we define two logics, KLn and BLn, and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a complete formal definition of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  29
    Relation Between the Specific Heat and Susceptibility of an Antiferromagnet.Michael E. Fisher - 1962 - Philosophical Magazine 7 (82):1731-1743.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Second Workshop on Implementing Machine Ethics.Vaz Alves Gleifer, Louise Dennis, Michael Fisher, Anthony Behan, Dina Babushkina, Christoph Merdes, Ken Archer, Labhaoise Ní Fhaoláin, Andrew Hines, Loizos Michael, C. Rafael Cardoso, Daniel Ene, Tom Evans, Satwant Kaur, Sarah Carter, Sergio Grancagnolo & Steven Greidinger - unknown
    s for the Second Workshop on Implementing Machine Ethics.
     
    Export citation  
     
    Bookmark  
  5.  44
    Making Common Sense of Vaccines: An Example of Discussing the Recombinant Attenuated Salmonella Vaccine with the Public.Dorothy J. Dankel, Kenneth L. Roland, Michael Fisher, Karen Brenneman, Ana Delgado, Javier Santander, Chang-Ho Baek, Josephine Clark-Curtiss, Roger Strand & Roy Curtiss - 2014 - NanoEthics 8 (2):179-185.
    Researchers have iterated that the future of synthetic biology and biotechnology lies in novel consumer applications of crossing biology with engineering. However, if the new biology’s future is to be sustainable, early and serious efforts must be made towards social sustainability. Therefore, the crux of new applications of synthetic biology and biotechnology is public understanding and acceptance. The RASVaccine is a novel recombinant design not found in nature that re-engineers a common bacteria to produce a strong immune response in humans. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.Clare Dixon, Cláudia Nalon & Michael Fisher - 2004 - Journal of Applied Non-Classical Logics 14 (4):397-445.
    The paper describes tableaux based proof methods for temporal logics of knowledge allowing non-trivial interaction axioms between the modal and temporal components, namely those of synchrony and no learning and synchrony and perfect recall. The interaction axioms allow the description of how knowledge evolves over time and makes reasoning in such logics theoretically more complex. Such logics can be used to specify systems that involve the knowledge of processes or agents and which change over time, for example agent based systems, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  50
    Exploring the Future with Resource-Bounded Agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
    We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  73
    Book Reviews. [REVIEW]Werner Menski, Carl Olson, William Cenkner, Anne E. Monius, Sarah Hodges, Jeffrey J. Kripal, Carol Salomon, Deepak Sarma, William Cenkner, John E. Cort, Peter A. Huff, Joseph A. Bracken, Larry D. Shinn, Jonathan S. Walters, Ellison Banks Findly, John Grimes, Loriliai Biernacki, David L. Gosling, Thomas Forsthoefel, Michael H. Fisher, Ian Barrow, Srimati Basu, Natalie Gummer, Pradip Bhattacharya, John Grimes, Heather T. Frazer, Elaine Craddock, Andrea Pinkney, Joseph Schaller, Michael W. Myers, Lise F. Vail, Wayne Howard, Bradley B. Burroughs, Shalva Weil, Joseph A. Bracken, Christopher W. Gowans, Dan Cozort, Katherine Janiec Jones, Carl Olson, M. D. McLean, A. Whitney Sanford, Sarah Lamb, Eliza F. Kent, Ashley Dawson, Amir Hussain, John Powers, Jennifer B. Saunders & Ramdas Lamb - 2005 - International Journal of Hindu Studies 9 (1-3):153-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Clausal Resolution in a Logic of Rational Agency.Clare Dixon, Michael Fisher & Alexander Bolotov - 2002 - Artificial Intelligence 139 (1):47-89.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. England Re-Oriented: How Central and South Asian Travelers Imagined the West, 1750–1857. By Humberto Garcia.Michael H. Fisher - 2022 - Journal of Islamic Studies 33 (2):281-283.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  53
    Book Reviews and Notices. [REVIEW]Ronald Neufeldt, Michael H. Fisher, Alan Lowenschuss, R. Blake Michael, Jennifer B. Saunders, Will Sweetman, Jason D. Fuller, Christopher Key Chapple, M. Whitney Kelting, Heidi Pauwels, D. Dennis Hudson, Kate Romanoff, Thomas Forsthoefel, Sonya L. Jones, Frank J. Korom & Kathleen D. Morrison - 1999 - International Journal of Hindu Studies 3 (1):83-107.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  51
    Book Reviews. [REVIEW]Pradip Bhattacharya, Edward T. Ulrich, Joseph A. Bracken, Richard Weiss, Christopher Key Chapple, Michael C. Brannigan, Theodore M. Ludwig, S. Nagarajan, Michael H. Fisher, Steve Derné, Herman Tull, Jarrod W. Brown, Joanna Kirkpatrick, Edward T. Ulrich, Carl Olson & Deepak Sarma - 2004 - International Journal of Hindu Studies 8 (1-3):203-227.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  43
    Book Reviews and Notices. [REVIEW]Michael H. Fisher, Gregory C. Kozlowski, Kurtis R. Schaeffer, Francis X. Clooney, Carl Olson, Martha Ann Selby, Thomas Forsthoefel, Lise F. Vail, Rebecca J. Manring, Narasingha P. Sil, Brian K. Pennington, Ashley James Dawson, Sarah Hodges & Thomas Forsthoefel - 2002 - International Journal of Hindu Studies 6 (2):199-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  37
    Book Reviews and Notices. [REVIEW]Christian K. Wedemeyer, June McDaniel, Werner F. Menski, Narasingha P. Sil, Douglas Allen, Michael H. Fisher, James Kenneth Powell, Michael H. Fisher, J. Soni, John Powers, Karen Pechilis Prentiss, Paul Donnelly, Klaus Witz & Richard Barz - 1999 - International Journal of Hindu Studies 3 (2):199-220.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Patanjali and Cognitive Science.Michael H. Fisher & Subhash C. Kak - 1990 - Journal of the American Oriental Society 110 (1):175.
  16.  9
    The Altars Where We Worship: The Religious Significance of Popular Culture Eds. By Juan M. Floyd-Thomas, Stacey M. Floyd-Thomas, and Mark G. Toulouse. [REVIEW]Michael R. Fisher - 2018 - Journal of the Society of Christian Ethics 38 (2):194-196.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    Book Reviews and Notices. [REVIEW]Christian K. Wedemeyer, June McDaniel, Werner F. Menski, Narasingha P. Sil, Douglas Allen, Michael H. Fisher, I. I. Powell, J. Soni, John Powers, Karen Pechilis Prentiss, Paul Donnelly, Klaus Witz & Richard Barz - 1999 - International Journal of Hindu Studies 3 (2):199-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Making Common Sense of Vaccines: An Example of Discussing the Recombinant Attenuated Salmonella Vaccine with the Public.Dorothy J. Dankel, Kenneth L. Roland, Michael Fisher, Karen Brenneman, Ana Delgado, Javier Santander, Chang-Ho Baek, Josephine Clark-Curtiss, Roger Strand & I. I. I. Roy Curtiss - 2014 - NanoEthics 8 (2):179-185.
    Researchers have iterated that the future of synthetic biology and biotechnology lies in novel consumer applications of crossing biology with engineering. However, if the new biology’s future is to be sustainable, early and serious efforts must be made towards social sustainability. Therefore, the crux of new applications of synthetic biology and biotechnology is public understanding and acceptance. The RASVaccine is a novel recombinant design not found in nature that re-engineers a common bacteria to produce a strong immune response in humans. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  19
    Book Reviews and Notices. [REVIEW]Roy W. Perrett, Michael H. Fisher, Timothy C. Cahill, Narasingha P. Sil, Arti Dhand & Francis X. Clooney - 1998 - International Journal of Hindu Studies 2 (3):442-451.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    Logic-Based Agent Verification.Michael Fisher, Munindar Singh, Diana Spears & Mike Wooldridge - 2007 - Journal of Applied Logic 5 (2):193-195.
  21.  1
    AI Journal Special Issue on Ethics for Autonomous Systems.Michael Fisher, Sven Koenig & Marija Slavkovik - 2022 - Artificial Intelligence 305:103677.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    Deductive Temporal Reasoning with Constraints.Clare Dixon, Boris Konev, Michael Fisher & Sherly Nietiadi - 2013 - Journal of Applied Logic 11 (1):30-51.
  23.  16
    Dimer Problem in Statistical Mechanics-an Exact Result.H. N. V. Temperley & Michael E. Fisher - 1961 - Philosophical Magazine 6 (68):1061-1063.
  24.  4
    The Last Maharani of Gwalior, An Autobiography.Michael H. Fisher, Vijaya Raje Scindia & Manohar Malgonkar - 1991 - Journal of the American Oriental Society 111 (1):208.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  4
    Alternating Automata and Temporal Logic Normal Forms.Clare Dixon, Alexander Bolotov & Michael Fisher - 2005 - Annals of Pure and Applied Logic 135 (1-3):263-285.
    We provide a translation from SNFPLTL, a normal form for propositional linear time temporal logic, into alternating automata on infinite words, and vice versa. We show this translation has the property that the set of SNFPLTL clauses is satisfiable if and only if the alternating automaton has an accepting run. As there is no direct method known for checking the non-emptiness of alternating automata, the translation to SNFPLTL, together with a temporal proof on the resulting SNFPLTL clauses, provides an indirect (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  7
    Punjab and the Raj, 1849-1947.Michael H. Fisher & Ian Talbot - 1990 - Journal of the American Oriental Society 110 (4):747.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  1
    Agent Deliberation in an Executable Temporal Framework.Michael Fisher - 2011 - Journal of Applied Logic 9 (4):223-238.