Results for 'Richard E. Ladner'

967 found
Order:
  1.  34
    The weak truth table degrees of recursively enumerable sets.Richard E. Ladner & Leonard P. Sasso - 1975 - Annals of Mathematical Logic 8 (4):429-448.
  2.  61
    Mitotic recursively enumerable sets.Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (2):199-211.
  3.  67
    B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.
  4.  52
    Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Direct download  
     
    Export citation  
     
    Bookmark   55 citations  
  5.  73
    Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  6.  26
    Review of Richard E. FLATHMAN: Willful Liberalism[REVIEW]Richard E. Flathman - 1993 - Ethics 104 (1):178-179.
  7.  3
    Richard E. Flathman: situated concepts, virtuosity liberalism, and opalescent individuality.Richard E. Flathman - 2017 - New York: Routledge, Taylor & Francis Group. Edited by P. E. Digeser.
    This work helps highlights how the innovations in Flathman's thought have shaped the field of political theory and will be of interest to students and scholars alike.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  43
    Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
  9. Human Inference: Strategies and Shortcomings of Social Judgment.Richard E. Nisbett & Lee Ross - 1980 - Englewood Cliffs, NJ, USA: Prentice-Hall.
  10.  61
    The use of statistical heuristics in everyday inductive reasoning.Richard E. Nisbett, David H. Krantz, Christopher Jepson & Ziva Kunda - 1983 - Psychological Review 90 (4):339-363.
  11.  40
    Depth-first iterative-deepening.Richard E. Korf - 1985 - Artificial Intelligence 27 (1):97-109.
  12.  70
    The Gadamer Reader: A Bouquet of the Later Writings.Richard E. Palmer (ed.) - 2007 - Northwestern University Press.
    The German volume Gadamer Lesebuch [A Gadamer Reader], selected and edited by Jean Grondin in consultation with Hans-Georg Gadamer himself, contains a set of essays that present a cross section of writings by one of the twentieth century's greatest philosophers. The volume begins with an autobiographical sketch and culminates in a conversation with Jean Grondin that looks back over a lifetime of productive philosophical work. The essays not already available in English have here been translated by Richard E. Palmer, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  13. (1 other version)Telling more than we can know: Verbal reports on mental processes.Richard E. Nisbett & Timothy D. Wilson - 1977 - Psychological Review 84 (3):231-59.
    Reviews evidence which suggests that there may be little or no direct introspective access to higher order cognitive processes. Ss are sometimes unaware of the existence of a stimulus that importantly influenced a response, unaware of the existence of the response, and unaware that the stimulus has affected the response. It is proposed that when people attempt to report on their cognitive processes, that is, on the processes mediating the effects of a stimulus on a response, they do not do (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1538 citations  
  14.  27
    Learning and executing generalized robot plans.Richard E. Fikes, Peter E. Hart & Nils J. Nilsson - 1972 - Artificial Intelligence 3 (C):251-288.
  15. The Evolutionary Origin of Complex Features.Richard E. Lenski - 2003 - 423 (May):139–144.
    A long-standing challenge to evolutionary theory has been whether it can explain the origin of complex organismal features. We examined this issue using digital organisms—computer programs that self-replicate, mutate, compete and evolve. Populations of digital organisms often evolved the ability to perform complex logic functions requiring the coordinated execution of many genomic instructions. Complex functions evolved by building on simpler functions that had evolved earlier, provided that these were also selectively favoured. However, no particular intermediate stage was essential for evolving (...)
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  16. An information processing framework for research on human reasoning.Richard E. Mayer & Russell Revlin - 1978 - In Russell Revlin & Richard E. Mayer, Human reasoning. New York: distributed solely by Halsted Press.
  17. Rules for reasoning.Richard E. Nisbett (ed.) - 1993 - Hillsdale, N.J.: L. Erlbaum Associates.
    This book examines two questions: Do people make use of abstract rules such as logical and statistical rules when making inferences in everyday life? Can such abstract rules be changed by training? Contrary to the spirit of reductionist theories from behaviorism to connectionism, there is ample evidence that people do make use of abstract rules of inference -- including rules of logic, statistics, causal deduction, and cost-benefit analysis. Such rules, moreover, are easily alterable by instruction as it occurs in classrooms (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  18. A response to Richard Wolin on Gadamer and the nazis.Richard E. Palmer - 2002 - International Journal of Philosophical Studies 10 (4):467 – 482.
    Richard Wolin, in his article 'Nazism and the Complicities of Hans-Georg Gadamer: Untruth and Method' ( New Republic , 15 May 2000, pp. 36-45), wrongly accuses Gadamer of being 'in complicity' with the Nazis. The present article in reply was rejected by the New Republic , but is printed here to show that Wolin in his article is misinformed and unfair. First, Wolin makes elementary factual errors, such as stating that Gadamer was born in Breslau instead of Marburg. He (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  1
    Theories and Observation in Science.Richard E. Grandy - 1973 - Ridgeview Publishing Company.
  20. The Cartesian and a Certain "Poetic" Notion of Consciousness.Richard E. Aquila - 1988 - Journal of the History of Ideas 49 (4):543.
  21.  28
    Real-time heuristic search.Richard E. Korf - 1990 - Artificial Intelligence 42 (2-3):189-211.
  22. Artifacts: Parts and principles.Richard E. Grandy - 2007 - In Eric Margolis & Stephen Laurence, Creations of the Mind: Theories of Artifacts and Their Representaion. New York: Oxford University Press. pp. 18--32.
     
    Export citation  
     
    Bookmark   24 citations  
  23.  19
    Portrait of an Unknowingly Ordinary Man: Endō Shūsaku, Christianity, and Japanese Historical Consciousness.Richard E. Durfee - 1989 - Japanese Journal of Religious Studies 16 (1):41-62.
  24.  28
    Review of Richard E. Flathman: Toward a Liberalism.[REVIEW]Richard E. Flathman - 1992 - Ethics 102 (4):865-867.
  25.  26
    Linear-space best-first search.Richard E. Korf - 1993 - Artificial Intelligence 62 (1):41-78.
  26.  20
    Planning as search: A quantitative approach.Richard E. Korf - 1987 - Artificial Intelligence 33 (1):65-88.
  27.  40
    Verbal reports about causal influences on social judgments: Private access versus public theories.Richard E. Nisbett & Nancy Bellows - 1977 - Journal of Personality and Social Psychology 35 (9):613-624.
    128 female Ss were asked to make 4 judgments about a young woman after reading her "job application portfolio." Five characteristics of the young woman were manipulated orthogonally. Ss were asked to report how each of the 5 manipulated factors had influenced each of their judgments. "Observer Ss," who had access only to very impoverished descriptions of each of the 5 factors, were asked to predict how each of the factors would influence each of the judgments. Results show that S (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  28.  32
    Challenging the Challengers of Szasz's Psychiatric Will.Richard E. Vatz, Lee S. Weinberg, Nathaniel Laor, Paul Chodoff & Roger Peele - 1983 - Hastings Center Report 13 (6):44.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  35
    The Behavioral Level of Emotional Intelligence and Its Measurement.Richard E. Boyatzis - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  30.  64
    On plotinus and the "togetherness" of consciousness.Richard E. Aquila - 1992 - Journal of the History of Philosophy 30 (1):7-32.
  31.  27
    On Truth by Convention.Richard E. Olson - 1975 - Philosophy Research Archives 1:109-123.
    In his early essay, "Truth by Convention," W.V.O. Quine scraps a programme for a conventionalistic account of logic on finding that the very logic which he wishes to stipulate by conventional truth assignments is presupposed in the stipulation of his conventions. Recently, however, Carlo Giannoni has offered us a variant of the Quine programme which, he maintains, avoids Quine's initial pitfall by shifting the emphasis from truth assignment to the conventional stipulation of inference rules. In the following essay I argue (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  31
    Partial category cuing: The accessibility of categories.Richard E. Parker & Linda Warren - 1974 - Journal of Experimental Psychology 102 (6):1123.
  33.  65
    Sortals.Richard E. Grandy - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  34. Implications of Socio-Cultural Contexts for the Ethics of Clinical Trials.Richard E. Ashcroft, D. Chadwick, S. Clark, Richard H. T. Edwards & Lucy Frith - 1997 - Core Research.
     
    Export citation  
     
    Bookmark   10 citations  
  35.  13
    Macro-operators: A weak method for learning.Richard E. Korf - 1985 - Artificial Intelligence 26 (1):35-77.
  36.  72
    Intentionality: An Essay in the Philosophy of Mind.Richard E. Aquila - 1985 - Philosophy and Phenomenological Research 46 (1):159-170.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   200 citations  
  37. On the makings of a somewhat newly.Richard E. Creel - 1985 - Behaviorism 13 (2):191-196.
     
    Export citation  
     
    Bookmark  
  38.  12
    Milestones in welding technology.Richard E. Dolby - 2013 - Philosophical Magazine 93 (28-30):3863-3877.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Thomas Hobbes: Skepticism, Individuality, and Chastened Politics.Richard E. Flathman - 2002 - Rowman & Littlefield Publishers.
    As its subtitle 'Skepticism, Individuality and Chastened Politics' indicates, this book is an exploration of and a largely favorable engagement with salient elements in the thinking of a theorist who is widely regarded as the greatest Anglophone political thinker and among the top rank of philosophical writers generally. In emphazing Hobbes's skepticism, Richard Flathman goes against the grain of much of the literature concerning Hobbes. The theme of individuality is more familiar, particularly from the celebrated writings on Hobbes by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  40.  8
    (1 other version)Logic for Philosophers.Richard E. Robinson - 1971 - Journal of Symbolic Logic 39 (3):614-615.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  37
    Socrates' alleged suicide.Richard E. Walton - 1980 - Journal of Value Inquiry 14 (3-4):287-299.
  42.  26
    Moltke S. Gram 1938 - 1986.Richard E. Aquila - 1986 - Proceedings and Addresses of the American Philosophical Association 60 (2):259 -.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Culture and systems of thought: Holistic versus analytic cognition.Richard E. Nisbett, Kaiping Peng, Incheol Choi & Ara Norenzayan - 2001 - Psychological Review 108 (2):291-310.
    The authors find East Asians to be holistic, attending to the entire field and assigning causality to it, making relatively little use of categories and formal logic, and relying on "dialectical" reasoning, whereas Westerners, are more analytic, paying attention primarily to the object and the categories to which it belongs and using rules, including formal logic, to understand its behavior. The 2 types of cognitive processes are embedded in different naive metaphysical systems and tacit epistemologies. The authors speculate that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   293 citations  
  44.  20
    [Omnibus Review].Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
  45.  51
    The role of the positive emotional attractor in vision and shared vision: toward effective leadership, relationships, and engagement.Richard E. Boyatzis, Kylie Rochford & Scott N. Taylor - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46.  57
    Ethics and world pictures in Kamm on enhancement.Richard E. Ashcroft & Karen P. Gui - 2005 - American Journal of Bioethics 5 (3):19 – 20.
    Frances Kamm's characteristically subtle paper in response to Michael Sandel is an intriguing intervention in the long-standing and increasingly frustrating debate over the morality of enhancement...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  34
    Myth, Ritual, and Order in "Enki and the World Order".Richard E. Averbeck - 2003 - Journal of the American Oriental Society 123 (4):757-771.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Information, observation, and measurement from the viewpoint of a cognitive philosophy of science.Richard E. Grandy - 1992 - Minnesota Studies in the Philosophy of Science 15:187-206.
  49.  34
    Just end-of-life policies and patient dignity.Richard E. Grant & Michael Boylan - 2006 - American Journal of Bioethics 6 (5):32 – 33.
    Wojtasiewicz (2006) brings up an important topic in medical ethics: end-of-life care for the terminally ill. This issue came to the public eye most recently in the Terri Schiavo case. Wojtasiewicz...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  72
    Confidentiality and Student Grade Records.Richard E. Hart - 1984 - Teaching Philosophy 7 (3):233-235.
1 — 50 / 967