Results for 'Ofer Strichman'

124 found
Order:
  1.  8
    Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings. [REVIEW]Ofer Strichman & Stefan Szeider (eds.) - 2010 - Springer.
    The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  23
    VICTIMS, FIGHTERS, SURVIVORS Quietism and Activism in Israeli Historical Consciousness.Dalia Ofer - 2010 - Common Knowledge 16 (3):493-517.
    A contribution to the sixth installment of the Common Knowledge symposium “Apology for Quietism,” this article reflects on the challenges that understanding the Holocaust posed for Jews in Palestine and has posed for them in Israel. Ofer concentrates on the images of victims, fighters, and survivors as they were formulated during the last years of World War II and after the establishment of the State of Israel. Behind these images stood historical, concrete human beings who were classified according to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  24
    The Archaeological Framework of the Upper Paleolithic Revolution.Bar-Yosef Ofer - 2007 - Diogenes 54 (2):3-18.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    Vanishing Into Things.Barry Allen, Bernard Faure, Jacob Raz, Glenn Alexander Magee, N. Verbin, Dalia Ofer, Elaine Pryce & Amy M. King - 2010 - Common Knowledge 16 (3):417-423.
    Introducing the sixth and final installment of the Common Knowledge symposium “Apology for Quietism,” Allen looks at the symposium retrospectively and concludes that it has mainly concerned “sage knowledge,” defined as foresight into the development of situations. The sagacious knower sees the disposition of things in an early, incipient form and knows how to intervene with nearly effortless and undetectable (quiet) effectiveness. Whatever the circumstance, the sage handles it with finesse, never doing too much but also never leaving anything undone (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Cough Is Dangerous: Neural Correlates of Implicit Body Symptoms Associations.Daniela Mier, Michael Witthöft, Josef Bailer, Julia Ofer, Tobias Kerstner, Fred Rist & Carsten Diener - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6. Four-Valued Diagnoses for Stratified Knowledge-Bases.Arnon Avron & Arieli Ofer - 1997 - In Dirk van Dalen & Marc Bezem (eds.), Computer Science Logic. Springer. pp. 1-17.
    We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an e cient algorithm for doing so automaticly. This method is particularly useful for making model-based diagnoses.
     
    Export citation  
     
    Bookmark  
  7.  8
    Inbal Ofer and Tamar Groves , Performing Citizenship. Social Movements Across the Globe, London/New York, Routledge, 2016.Jovana Papović - 2018 - Filozofija I Društvo 29 (3):465-468.
    Inbal Ofer and Tamar Groves, Performing Citizenship. Social Movements across the Globe, London/New York, Routledge, 2016. Jovana Papović.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  37
    Ofer Gal and Raz Chen-Morris Baroq Ue Science , Pp. Xiv+333, Illus., Index, $45, ISBN-13: 978 0 226 92398 7.Sven Dupré - 2014 - Early Science and Medicine 19 (4):373-375.
  9. Getting Physical: Empiricism’s Medical History: Charles T. Wolfe and Ofer Gal : The Body as Object and Instrument of Knowledge: Embodied Empiricism in Early Modern Science. Dordrecht: Springer, 2010, X+349pp, €139.95 HB. [REVIEW]John Gascoigne - 2011 - Metascience 20 (2):299-301.
    Getting physical: Empiricism’s medical History Content Type Journal Article DOI 10.1007/s11016-010-9474-4 Authors John Gascoigne, School of History and Philosophy, University of New South Wales, Sydney, NSW 2056, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Ofer Gal. Meanest Foundations and Nobler Superstructures: Hooke, Newton and the" Compounding of the Celestial Motions of the Planets".N. Guicciardini - 2004 - Early Science and Medicine 9 (1):63-64.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  5
    Ofer Hadass. Medicine, Religion, and Magic in Early Stuart England: Richard Napier’s Medical Practice. Xiv + 213 Pp., Illus., Notes, Bibl., Index. University Park: Pennsylvania State University Press, 2018. $89.95 . ISBN 9780271080185. [REVIEW]Patrick Wallis - 2019 - Isis 110 (3):595-596.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Yair galily Ilan Tamir Ofer muchtar.Yair Galily - 2012 - Journal for Communication and Culture 2 (1):68-87.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  8
    Baroque Science - by Ofer Gal and Raz Chen-Morris.Ivo Schneider - 2014 - Centaurus 56 (2):121-123.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    Baroque Science by Ofer Gal and Raz Chen-Morris. [REVIEW]Michael W. Tkacz - 2015 - Review of Metaphysics 68 (3):660-662.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  22
    Getting Physical: Empiricism’s Medical History: Charles T. Wolfe and Ofer Gal : The Body as Object and Instrument of Knowledge: Embodied Empiricism in Early Modern Science. Dordrecht: Springer, 2010, X+349pp, €139.95 HB.John Gascoigne - 2011 - Metascience 20 (2):299-301.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    Ofer Gal and Raz Chen-Morris - Baroque Science. Chicago: University of Chicago Press, 2013. Pp. 352, Index. $45.00. [REVIEW]Christoph Lüthy - 2014 - Hopos: The Journal of the International Society for the History of Philosophy of Science 4 (2):379-382.
  17.  8
    Charles T. Wolfe;, Ofer Gal . The Body as Object and Instrument of Knowledge: Embodied Empiricism in Early Modern Science. X + 349 Pp., Illus., Bibls., Index. Dordrecht: Springer, 2010. $189. [REVIEW]Ian Stewart - 2012 - Isis 103 (3):599-600.
  18.  11
    Compte rendu de : Charles T. Wolfe and Ofer Gal (eds.), The body as object and instrument of knowledge. Embodied empiricism in early modern science. Dordrecht, Springer, 2010, 349 pages. [REVIEW]Bernard Joly - 2011 - Methodos 11.
    Cet ouvrage collectif, qui résulte en partie des travaux d’un atelier sur l’empirisme incarné dans la science moderne qui s’est tenu à l’université de Sydney en février 2009, rassemble quinze communications regroupées en trois parties : « The Body as Object », « The Body as Instrument », « Embodies Minds ». L’objectif des auteurs est de corriger la conception dominante que se font les historiens des sciences et de la philosophie de l’émergence de la philosophie expérimentale, et de l’empirism..
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  10
    Ofer Bar-Yosef The Archaeological Framework of the Upper Paleolithic Revolution.Giacomo Giacobini - 2007 - Diogenes 54 (2):171-175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  10
    The Paradoxes of the New Science: Ofer Gal and Raz Chen-Morris: Baroque Science. Chicago: The University of Chicago Press, 2013, Xiv+333pp, $45.00, £29.00 HB.Irene Goudarouli - 2014 - Metascience 23 (2):361-363.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  9
    review of Charles T. Wolfe & Ofer Gal eds., The Body as Object and Instrument of Knowledge. Embodied Empiricism in Early Modern Science. Dordrecht, Springer (Studies in History and Philosophy of Science, vol. XXV), 2010, 349 p., 157,41 euros. [REVIEW]Claire Crignon - 2013 - Astérion 11.
    L’empirisme, comme mode de connaissance mais aussi comme tradition de pensée, a longtemps été négligé, que ce soit en histoire des sciences ou en histoire de la philosophie. Longtemps opposé au rationalisme, l’empirisme fait figure de mode de connaissance rhapsodique et non systématique. Associé au scepticisme, il est considéré comme une forme de renoncement à la connaissance, se contentant de décrire l’apparence des choses quand la véritable .
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  4
    Ofer Gal;, Raz Chen-Morris. Baroque Science. Xiv + 333 Pp., Bibl., Index. Chicago/London: University of Chicago Press, 2013. $45. [REVIEW]José Ramón Marcaida - 2014 - Isis 105 (2):435-436.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  3
    Ofer Gal. Meanest Foundations and Nobler Superstructures: Hooke, Newton, and the “Compounding of the Celestiall Motions of the Planets.” Xii + 239 Pp. Dordrecht/Boston/London: Kluwer Academic Publishers, 2002. $87. [REVIEW]Michael Nauenberg - 2005 - Isis 96 (3):436-436.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Charles T. Wolfe Et Ofer Gal Éd., The Body as Object and Instrument of Knowledge. Embodied Empiricism in Early Modern Science. [REVIEW]Claire Crignon - 2013 - Astérion 11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Compte Rendu de : Charles T. Wolfe and Ofer Gal (Eds.), The Body as Object and Instrument of Knowledge. Embodied Empiricism in Early Modern Science. [REVIEW]Bernard Joly - 2011 - Methodos 11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  28
    Redefining “Learning” in Statistical Learning: What Does an Online Measure Reveal About the Assimilation of Visual Regularities?Noam Siegelman, Louisa Bogaerts, Ofer Kronenfeld & Ram Frost - 2018 - Cognitive Science 42 (S3):692-727.
    From a theoretical perspective, most discussions of statistical learning have focused on the possible “statistical” properties that are the object of learning. Much less attention has been given to defining what “learning” is in the context of “statistical learning.” One major difficulty is that SL research has been monitoring participants’ performance in laboratory settings with a strikingly narrow set of tasks, where learning is typically assessed offline, through a set of two-alternative-forced-choice questions, which follow a brief visual or auditory familiarization (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  27.  30
    Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
    The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  28.  20
    The Role of Defaultness in Affecting Pleasure: The Optimal Innovation Hypothesis Revisited.Rachel Giora, Shir Givoni, Vered Heruti & Ofer Fein - 2017 - Metaphor and Symbol 32 (1):1-18.
    The Optimal Innovation Hypothesis, following from the Graded Salience Hypothesis, is being reviewed and revisited. The attempt is to expand the notion of Optimal Innovation to allow it to apply to both stimuli’s coded meanings as well as their noncoded, constructed interpretations. According to the Optimal Innovation Hypothesis, Optimal Innovations, when devised, will be more pleasing than nonoptimally innovative counterparts. Unlike such competitors, Optimal Innovations deautomatize familiar coded alternatives, which invoke unconditional responses alongside novel but distinct ones, allowing both responses (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  19
    Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  30.  16
    Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
    We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  29
    The Law of Incidental Findings in Human Subjects Research: Establishing Researchers' Duties.Susan M. Wolf, Jordan Paradise & Charlisse Caga-Anan - 2008 - Journal of Law, Medicine and Ethics 36 (2):361-383.
    Research technologies can now produce so much information that there is signifcant potential for incidental fndings . These are fndings generated in research that are beyond the aims of the study. Current law and federal regulations ofer no direct guidance on how to deal with IFs in research, nor is there adequate professional or institutional guidance. We advocate a defned set of researcher duties based on law and ethics and recommend a pathway to be followed in handling IFs in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  3
    Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.AnneMarie Borg, Ofer Arieli & Christian Straßer - 2018 - In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Cham, Switzerland: Springer. pp. 17–34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  12
    Resonating with Contextually Inappropriate Interpretations in Production: The Case of Irony.Rachel Giora, Moshe Raphaely, Ofer Fein & Elad Livnat - 2014 - Cognitive Linguistics 25 (3):443-455.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  2
    Reasoning with Maximal Consistency by Argumentative Approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
    Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. The Body as Object and Instrument of Knowledge. Embodied Empiricism in Early Modern Science.Charles T. Wolfe & Ofer Gal (eds.) - 2010 - Springer.
  36.  17
    Causality in Cancer Research: A Journey Through Models in Molecular Epidemiology and Their Philosophical Interpretation.Paolo Vineis, Phyllis Illari & Federica Russo - 2017 - Emerging Themes in Epidemiology 14 (7):1-8.
    In the last decades, Systems Biology (including cancer research) has been driven by technology, statistical modelling and bioinformatics. In this paper we try to bring biological and philosophical thinking back. We thus aim at making diferent traditions of thought compatible: (a) causality in epidemiology and in philosophical theorizing—notably, the “sufcient-component-cause framework” and the “mark transmission” approach; (b) new acquisitions about disease pathogenesis, e.g. the “branched model” in cancer, and the role of biomarkers in this process; (c) the burgeoning of omics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  15
    Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
    Paradefinite logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete. In this paper we consider the simplest semantic framework for introducing paradefinite logics. It consists of the four-valued matrices that expand the minimal matrix which is characteristic for first degree entailments: Dunn–Belnap matrix. We survey and study the expressive power and proof theory of the most important logics that can be developed in this framework.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  40
    Birdsong, Speech, and Language: Exploring the Evolution of Mind and Brain.Johan J. Bolhuis & Martin Everaert (eds.) - 2013 - MIT Press.
    Scholars have long been captivated by the parallels between birdsong and human speech and language. In this book, leading scholars draw on the latest research to explore what birdsong can tell us about the biology of human speech and language and the consequences for evolutionary biology. They examine the cognitive and neural similarities between birdsong learning and speech and language acquisition, considering vocal imitation, auditory learning, an early vocalization phase, the structural properties of birdsong and human language, and the striking (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  12
    Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.
    The work of Arnon Avron and Ofer Arieli has shown a deep relationship between the theory of bilattices and the Belnap-Dunn logic \. This correspondence has been interpreted as evidence that \ is “the” logic of bilattices, a consideration reinforced by the work of Yaroslav Shramko and Heinrich Wansing in which \ is shown to be similarly entrenched with respect to the theories of trilattices and, more generally, multilattices. In this paper, we export Melvin Fitting’s “cut-down” connectives—propositional connectives that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  21
    Defaultness Reigns: The Case of Sarcasm.Rachel Giora, Shir Givoni & Ofer Fein - 2015 - Metaphor and Symbol 30 (4):290-313.
    Findings from two experiments argue in favor of the superiority of default, preferred interpretations over non-default less favored counterparts, outshining degree of non-salience, non-literalness, contextual strength, and negation. They show that, outside of a specific context, the default interpretation of specific negative constructions is a non-salient interpretation 1; their non-default interpretation is a salience-based alternative. In contrast, the default interpretation of the affirmative counterparts is a salience-based interpretation ; their non-default interpretation is a non-salient alternative. When in equally strongly supportive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  13
    Searching for Judgment Biases Among Elite Basketball Referees.Elia Morgulev, Ofer H. Azar, Ronnie Lidor, Eran Sabag & Michael Bar-Eli - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  12
    A QBF-Based Formalization of Abstract Argumentation Semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-252.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  1
    Expecting Irony: Context Versus Salience-Based Effects.Rachel Giora, Ofer Fein, Dafna Laadan, Joe Wolfson, Michal Zeituny, Ran Kidron, Ronie Kaufman & Ronit Shaham - 2007 - Metaphor and Symbol 22 (2):119-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  19
    The ‘Absolute Existence’ of Phlogiston: The Losing Party's Point of View.Victor D. Boantza & Ofer Gal - 2011 - British Journal for the History of Science 44 (3):317-342.
    Long after its alleged demise, phlogiston was still presented, discussed and defended by leading chemists. Even some of the leading proponents of the new chemistry admitted its ‘absolute existence’. We demonstrate that what was defended under the title ‘phlogiston’ was no longer a particular hypothesis about combustion and respiration. Rather, it was a set of ontological and epistemological assumptions and the empirical practices associated with them. Lavoisier's gravimetric reduction, in the eyes of the phlogistians, annihilated the autonomy of chemistry together (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  1
    Salience and Context Effects: Two Are Better Than One.Orna Peleg, Rachel Giora & Ofer Fein - 2001 - Metaphor and Symbol 16 (3):173-192.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  33
    Wheel Chairs and Arm Chairs: A Novel Experimental Design for the Emotional Stroop Effect.Daniel Algom, Dan Zakay, Ofer Monar & Eran Chajut - 2009 - Cognition and Emotion 23 (8):1552-1564.
  47.  38
    Tropes and Topics in Scientific Discourse: Galileo's De Motu.Ofer Gal - 1994 - Science in Context 7 (1):25-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48. Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.Ofer Arieli & Christian Straßer - 2016 - Electronic Notes in Theoretical Computer Science 323:21–37.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  3
    What Did Medieval Readers Take to Be “Al‐Ḥajjāj's Version” of Euclid's Elements? The Evidence of MS Paris, BnF, Héb. 1011.Ofer Elior - 2020 - Centaurus 62 (1):181-197.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  37
    Baroque Optics and the Disappearance of the Observer: From Kepler’s Optics to Descartes’ Doubt.Ofer Gal & Raz Chen-Morris - 2010 - Journal of the History of Ideas 71 (2):191-217.
1 — 50 / 124