Order:
Disambiguations
Mark Ryan [9]Mark D. Ryan [1]
See also
Profile: Mark Ryan
  1. Belief Revision and Verisimilitude.Mark Ryan & Pierre-Yves Schobbens - 1995 - Notre Dame Journal of Formal Logic 36 (1):15-29.
    The Egli-Milner power-ordering is used to define verisimilitude orderings on theories from preference orderings on models. The effects of the definitions on constraints such as stopperedness and soundness are explored. Orderings on theories are seen to contain more information than orderings on models. Belief revision is defined in terms of both types of orderings, and conditions are given which make the two notions coincide.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  27
    Counterfactuals and Updates as Inverse Modalities.Mark Ryan & Pierre-Yves Schobbens - 1997 - Journal of Logic, Language and Information 6 (2):123-146.
    We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  36
    Implementation of Belief Change Operators Using BDDs.Nikos Gorogiannis & Mark D. Ryan - 2002 - Studia Logica 70 (1):131 - 156.
    While the theory of belief change has attracted a lot of interest from researchers, work on implementing belief change and actually putting it to use in real-world problems is still scarce. In this paper, we present an implementation of propositional belief change using Binary Decision Diagrams. Upper complexity bounds for the algorithm are presented and discussed. The approach is presented both in the general case, as well as on specific belief change operators from the literature. In an effort to gain (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  4.  12
    Prime Movers of Globalization: The History and Impact of Diesel Engines and Gas Turbines.Mark Ryan - 2013 - The European Legacy 18 (5):675-676.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    Implementing an Ethical Approach to Big Data Analytics in Assistive Robotics for Elderly with Dementia.Heike Felzmann, Timur Beyan, Mark Ryan & Oya Beyan - 2015 - Acm Sigcas Computers and Society 45 (3):280-286.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  2
    Sharing God’s Company: A Theology of the Communion of Saints by David Matzko McCarthy.Mark Ryan - 2015 - Journal of the Society of Christian Ethics 35 (1):192-194.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Human Value, Environmental Ethics and Sustainability: The Precautionary Ecosystem Health Principle.Mark Ryan - 2016 - Rowman & Littlefield International.
    Should we care about the environment because it is economically valuable or because nature has intrinsic value? This book gives a clear overview of some of the main theoretical problems within environmental ethics and offers definitive solutions and alternatives.
     
    Export citation  
     
    My bibliography