Results for 'Shlomo Shoham'

15 found
Order:
  1. Derekh Hatzala (the path of rescue).Rabbi Shlomo Helbrans, Lev Tahor Community & Anit-Zionist Union of God Fears - 2001 - Quebec, Canada: Lev Tahor community and Daas Publishing.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Locke and Leibniz on Freedom and Necessity.Idan Shimony & Yekutiel Shoham - 2016 - In Wenchao Li (ed.), Für Unser Glück Oder Das Glück Anderer, X. Internationaler Leibniz-Kongress. Hildesheim: Georg Olms. pp. Vol. 1, 573-588.
    Locke and Leibniz are often classified as proponents of compatibilist theories of human freedom, since both maintain that freedom is consistent with determinism and that the difference between being and not being free turns on how one is determined. However, we will argue in this paper that their versions of compatibilism are essentially different and that they have significantly distinct commitments to compatibilism. To this end, we will first analyze the definitions and examples for freedom and necessity that Locke and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Realm of Holy Imagination.Steven Maimes - 2015 - Steven Maimes.
    Exploration of holy imagination -- touching upon areas of spirituality, time, reality, soul, religion, scripture, memory, poetry, Shlomo Carlebach... (c) 2015 Steven L. Maimes.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Steps toward formalizing context.Varol Akman & Mehmet Surav - 1996 - AI Magazine 17 (3):55-72.
    The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  6. Overdetermination of theories by empirical models: A realist interpretation of empirical choices.Emma Ruttkamp - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):409-436.
    A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Hormônios e Sistema Endócrino na Reprodução Animal.Emanuel Isaque Cordeiro da Silva & Emanuel Isaque Da Silva - manuscript
    HORMÔNIOS E SISTEMA ENDÓCRINO NA REPRODUÇÃO ANIMAL -/- OBJETIVO -/- As glândulas secretoras do corpo são estudadas pelo ramo da endocrinologia. O estudante de Veterinária e/ou Zootecnia que se preze, deverá entender os processos fisio-lógicos que interagem entre si para a estimulação das glândulas para a secreção de vários hormônios. -/- Os hormônios, dentro do animal, possuem inúmeras funções; sejam exercendo o papel sobre a nutrição, sobre a produção de leite e sobre a reprodução, os hormônios desempenham um primordial papel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.Sten Lindström - manuscript
    This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Computing with causal theories.Erkan Tin & Varol Akman - 1992 - International Journal of Pattern Recognition and Artificial Intelligence 6 (4):699-730.
    Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The logic of counteraction.Erkan Tin & Varol Akman - 1993 - Elektrik 1 (3):167-181.
    We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Situated nonmonotonic temporal reasoning with BABY-SIT.Erkan Tin & Varol Akman - 1997 - AI Communications 10 (2):93-109.
    After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. On Nudging and Informed Consent—Four Key Undefended Premises.J. S. Swindell Blumenthal-Barby - 2013 - American Journal of Bioethics 13 (6):31 - 33.
    In his article “Nudging and Informed Consent,” Shlomo Cohen (2013) argues, among other things, that 1) “to the extent that the nudge-influenced decision making is rational—in whatever sense,” there...
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Le retour de Moses Hess.Michael Maidan - 1989 - Actuel Marx 5:157-165.
    Extended review of Gerard Benssousan's Moses Hess, la philosophie, le socialisme ((1985) and of Shlomo Avineris' Moses Hess Prophet of Communism and Zionism (1985) with references to other contemporary publications on Hess' thought.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Maimonides and the Pre-Maimonidean Jewish Philosophical Tradition According to Hermann Cohen.Aaron W. Hughes - 2010 - Journal of Jewish Thought and Philosophy 18 (1):1-26.
    This paper examines Hermann Cohen's idiosyncratic construction of a medieval Jewish philosophical tradition, focusing primarily, though not exclusively, on his Charakteristik der Ethik Maimunis . This construction, not unlike modern accounts, is filtered through the central place of Maimonides. For Cohen, however, Maimonides' centrality is defined not by his systematization of Aristotelianism, but by his elevation of ethics over metaphysics. The ethical and pantheistic concerns of Maimonides' precursors, according to this reading, anticipate his uniqueness. Whereas Shlomo ibn Gabirol's pantheistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. ALL THE MORE: A Merged List of 72 Qal Vachomer Arguments in the Tanakh.Avi Sion - 2024 - Geneva, Switzerland: Avi Sion (via Kindle).
    ALL THE MORE, by Avi Sion, Ph.D., comprises a merged list of 72 qal vachomer arguments in the Tanakh, i.e. of a fortiori arguments in the Hebrew Bible. This listing brings together lists proposed in past rabbinic literature and in more recent studies by the author. The literature research for it was carried out mainly by R. Yaakov Gabay, who looked into works in Hebrew by five rabbis who had proposed lists, namely: R. Shmuel Yaffe Ashkenazi (Yefeh Toar, 1597), R. (...)
    Download  
     
    Export citation  
     
    Bookmark