Results for 'Ofer Strichman'

141 found
Order:
  1.  11
    Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman & Stefan Szeider (eds.) - 2010 - Berlin: 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.  2
    Learning general constraints in CSP.Michael Veksler & Ofer Strichman - 2016 - Artificial Intelligence 238:135-153.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  40
    The love of hating: The psychology of enmity.Ofer Zur - 1991 - History of European Ideas 13 (4):345-369.
  4.  19
    The Tamil Life of Purūravas: A Vernacular Adaptation of a Sanskrit Myth.Ofer Peres - 2021 - Journal of the American Oriental Society 138 (2):291.
    The Purūravac-cakkiravartti-katai, “The Story of Emperor Purūravas,” is a pre-modern Tamil folk telling of the ancient Urvaśī-Purūravas legend. The classical narrative of King Purūravas of the Lunar Dynasty tells about his love affair with the celestial nymph Urvaśī, their tragic separation, and final reunion. The PCK follows the classical narrative closely, but interposes a long account of other exploits of Purūravas, which do not appear in any of the Sanskrit tellings of the story. In this supplement, which I call “The (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    Yiddish for Spies, or the Secret History of Jewish Literature, Lemberg 1814.Ofer Dynes - 2016 - Naharaim 10 (2):195-213.
    Name der Zeitschrift: Naharaim Jahrgang: 10 Heft: 2 Seiten: 195-213.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  2
    International Relations Theory of War.Ofer Israeli - 2019 - Santa Barbara, CA: Praeger, an imprint of ABC-CLIO, LLC.
    This book tries to answer two key questions. The first is why certain periods are more prone to war than others. The other is why certain wars that involve polar powers end with their territorial expansion whereas other wars end in their contraction or maintaining their territorial status. In conclusion, it is asked whether the polarity of the system affects these two outcomes, and if so, how.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Teʼoryah shel ha-milḥamah: yetsivut ha-maʻarekhet u-tefuḳot ṭeriṭoriʼaliyot = Theory of war: system stability and territorial outcomes.Ofer Israeli - 2017 - Tel Aviv: Resling.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  45
    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 (3 more)  
     
    Export citation  
     
    Bookmark   108 citations  
  9.  29
    Reasonable Self-doubt.Ofer Malcai & Ram Rivlin - 2020 - Criminal Law and Philosophy 15 (1):25-45.
    Sometimes, the availability of more evidence for a conclusion provides a reason to believe in its falsity. This counter-intuitive phenomenon is related to the idea of higher-order evidence, which has attracted broad interest in recent epistemological literature. Occasionally, providing more evidence for something weakens the case in its favor, by casting doubt on the probative value of other evidence of the same sort or on the fact-finder’s cognitive performance. We analyze this phenomenon, discuss its rationality, and outline possible application to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  13
    From Disabled Students to Disabled Brains: The Medicalizing Power of Rhetorical Images in the Israeli Learning Disabilities Field.Ofer Katchergin - 2017 - Journal of Medical Humanities 38 (3):267-285.
    The neurocentric worldview that identifies the essence of the human being with the material brain has become a central paradigm in current academic discourse. Israeli researchers also seek to understand educational principles and processes via neuroscientific models. On this background, the article uncovers the central role that visual brain images play in the learning-disabilities field in Israel. It examines the place brain images have in the professional imagination of didactic-diagnosticians as well as their influence on the diagnosticians' clinical attitudes. It (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.
  12.  15
    A Dilemma for Luck Egalitarians.Ofer Malcai & Re’em Segev - forthcoming - Journal of Value Inquiry:1-21.
  13.  35
    The Body–Power Relationship and Immanent Philosophy: A Question of Life and Death.Ofer Parchev - 2014 - The European Legacy 19 (4):456-470.
    According to Foucault, the human body is the targeted object of modern power systems. In his genealogical studies, Foucault describes the manner in which these power systems leave an imprint on the body and utilize knowledge of the body as an indirect means of exercising subtle forms of control. In recent years, several researchers have claimed that the status of the body, subsumed as it is by modern power networks, has become a means for conducting a unique political critique in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    The Political Agent and Radical Democracy.Ofer Parchev - 2008 - The European Legacy 13 (7):837-850.
    Liberal democracy suffers from an internal contradiction stemming from its ideological roots and rending it from within. On the one hand its goal is to generate a system of laws and rules that maximize individual rights and liberties; on the other hand, some of its fundamental assumptions pertaining to the Subject restrict the political and social agent's existential experience to a limited threshold of speech and action. The central assumption of this article is that the main meeting point of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  31
    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   10 citations  
  16.  51
    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.
    Seventeenth-century optics naturalizes the eye while estranging the mind from objects. A mere screen, on which rests a blurry array of light stains, the eye no longer furnishes the observer with genuine re-presentations of visible objects. The intellect is thus compelled to decipher flat images of no inherent epistemic value, accidental effects of a purely causal process, as vague, reversed reflections of wholly independent objects. Reflecting on and trespassing the boundaries between natural and artificial, orderly and disorderly, this optical paradox (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  29
    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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  9
    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  
  19.  18
    Resisting Contextual Information: You Can't Put a Salient Meaning Down.Ofer Fein, Rachel Giora & Orna Peleg - 2008 - Lodz Papers in Pragmatics 4 (1):13-44.
    Resisting Contextual Information: You Can't Put a Salient Meaning Down Two experiments support the graded salience hypothesis, which assumes that early processing involves distinct mechanisms-linguistic and contextual-that do not interact but run parallel. While contextual processes make up an integrative, top-down mechanism that benefits from linguistic and extra-linguistic information, the linguistic mechanism is modular. Using Vu et al.'s materials, Experiment 1 shows that the sentential position of a target word is crucial for the operation of the global, predictive mechanism, whose (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  16
    ‘Ducking and Diving’: How Political Issues Affect Equivocation in Japanese Political Interviews.Ofer Feldman, Ken Kinoshita & Peter Bull - 2016 - Japanese Journal of Political Science 17 (2):141-167.
    This paper examines how Japanese leading politicians cope with the communication problems posed during televised political interviews. Based on data gathered during the year 2012 equivocation, thereby to also assess the significance of these talk shows in the broader context of political communication in Japan.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  31
    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   14 citations  
  22.  3
    Windows of Integration Hypothesis Revisited.Rony Hirschhorn, Ofer Kahane, Inbal Gur-Arie, Nathan Faivre & Liad Mudrik - 2021 - Frontiers in Human Neuroscience 14.
    In the ongoing research of the functions of consciousness, special emphasis has been put on integration of information: the ability to combine different signals into a coherent, unified one. Several theories of consciousness hold that this ability depends on – or at least goes hand in hand with – conscious processing. Yet some empirical findings have suggested otherwise, claiming that integration of information could take place even without awareness. Trying to reconcile this apparent contradiction, the “windows of integration” hypothesis claims (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  26
    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  
  24.  22
    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   7 citations  
  25. The Body as Object and Instrument of Knowledge: Embodied Empiricism in Early Modern Science.Charles T. Wolfe & Ofer Gal (eds.) - 2010 - Springer.
  26.  27
    The Archaeological Framework of the Upper Paleolithic Revolution.Bar-Yosef Ofer - 2007 - Diogenes 54 (2):3-18.
    The Upper Palaeolithic Revolution, sometimes called ‘the Creative Explosion’, is seen as the period when the forefathers of modern forager societies emerged. Similarly to the Industrial and Neolithic Revolutions, it represents a short time span when numerous inventions appeared and cultural changes occurred. The inventions were in the domain of technology, that is, shaping of new stone tool forms, longdistance exchange of raw materials, the use of bone, antler and ivory as well as rare minerals for the production of domestic (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    A Ratchet that Can Get Stuck: On the Relationship Between the Federal and the State Constitutions.Ofer Raban - 2009 - Jurisprudencija: Mokslo darbu žurnalas 117 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  23
    Dworkin's 'Best Light' Requirement and the Proper Methodology of Legal Theory.Ofer Raban - 2003 - Oxford Journal of Legal Studies 23 (2):243-264.
    This is an examination of Ronald Dworkin's claim that the true theory of legal practice is the theory that puts legal practice in its ‘best light’. By ‘best light’ Dworkin means a measure of desirability or goodness: the true theory of legal practice, says Dworkin, portrays the practice at its most desirable. Now why would that be the case? What's between the desirability of a theory and its truth? The article examines the reasons leading Dworkin to this strange claim. It (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29.  41
    Modern legal theory and judicial impartiality.Ofer Raban - 2003 - Portland, Or.: GlassHouse Press.
    This new book argues that at the core of legal philosophy’s principal debates there is essentially one issue judicial impartiality. Keeping this issue to the forefront,Raban’s approach sheds much light on many difficult and seemingly perplexing jurisprudential debates. Modern Legal Theory and Judicial Impartiality.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  15
    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  
  31.  14
    More on entangled orders.Ofer Shafir & Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (4):1823-1832.
    This paper grew as a continuation of [Sh462] but in the present form it can serve as a motivation for it as well. We deal with the same notions, all defined in 1.1, and use just one simple lemma from there whose statement and proof we repeat as 2.1. Originally entangledness was introduced, in [BoSh210] for example, in order to get narrow boolean algebras and examples of the nonmultiplicativity of c.c-ness. These applications became marginal when other methods were found and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  32.  6
    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   4 citations  
  33.  29
    Logical argumentation by dynamic proof systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
    In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  7
    Normative reasoning by sequent-based argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
    In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic of Argument & Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  9
    Reasoning with prioritized information by iterative aggregation of distance functions.Ofer Arieli - 2008 - Journal of Applied Logic 6 (4):589-605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  11
    A postulate-driven study of logical argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2023 - Artificial Intelligence 322 (C):103966.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks.Ofer Arieli - 2015 - Journal of Applied Logic 13 (4):582-604.
  38.  41
    Tropes and Topics in Scientific Discourse: Galileo's De Motu.Ofer Gal - 1994 - Science in Context 7 (1):25-52.
    The ArgumentThis paper contains two main sections. In the first I suggest a mechanism of interpretation, based on a distinction between two aspects of meaning, analyzed using two kinds of rhetorical-poetical constructions:tropesto explore the linguistic relations—metaphors, metonyms, synecdoches, etc.—that endow terms with content, andtopicsto account for the structuring function of key expressions, which enables the recognition and adjudication of phrases, arguments, texts, genres, etc. In the second section I substantiate my claims by demonstrating how new light is shed on Galileo (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39. Prioritized sequent-based argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
  40.  7
    Arnon Avron on Semantics and Proof Theory of Non-Classical Logics.Ofer Arieli & Anna Zamansky (eds.) - 2021 - Springer Verlag.
    This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Preface.Ofer Arieli & Anna Zamansky - 2016 - Logic Journal of the IGPL 24 (3):221-223.
  42.  63
    Reasoning with different levels of uncertainty.Ofer Arieli - 2003 - Journal of Applied Non-Classical Logics 13 (3):317-343.
    We introduce a family of preferential logics that are useful for handling information with different levels of uncertainty. The corresponding consequence relations are nonmonotonic, paraconsistent, adaptive, and rational. It is also shown that the formalisms in this family can be embedded in corresponding four-valued logics with at most three uncertainty levels, and that reasoning with these logics can be simulated by algorithms for processing circumscriptive theories, such as DLS and SCAN.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  7
    Simplified forms of computerized reasoning with distance semantics.Ofer Arieli & Anna Zamansky - 2011 - Journal of Applied Logic 9 (1):1-22.
  44.  1
    Argumentative Approaches to Reasoning with Consistent Subsets of Premises.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2017 - Lecture Notes in Computer Science:455–465.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  24
    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  
  46.  18
    Hesse and Rorty on Metaphor: Rhetoric in Contemporary Philosophy.Ofer Gal - 1995 - Journal of Speculative Philosophy 9 (2):125 - 146.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  3
    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  
  48.  35
    Empiricism without the senses: How the instrument replaced the eye.Ofer Gal & Raz Chen-Morris - 2010 - In Charles T. Wolfe & Ofer Gal (eds.), The Body as Object and Instrument of Knowledge. Embodied Empiricism in Early Modern Science. Springer. pp. 121--147.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  6
    Between Kepler and Newton: Hooke’s ‘principles of congruity and incongruity’ and the naturalization of mathematics.Cindy Hodoba Eric & Ofer Gal - 2019 - Annals of Science 76 (3-4):241-266.
    Robert Hooke’s development of the theory of matter-as-vibration provides coherence to a career in natural philosophy which is commonly perceived as scattered and haphazard. It also highlights aspects of his work for which he is rarely credited: besides the creative speculative imagination and practical-instrumental ingenuity for which he is known, it displays lucid and consistent theoretical thought and mathematical skills. Most generally and importantly, however, Hooke’s ‘Principles … of Congruity and Incongruity of bodies’ represent a uniquely powerful approach to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  36
    The Invention of Celestial Mechanics.Ofer Gal - 2005 - Early Science and Medicine 10 (4):529-534.
1 — 50 / 141