- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logic for Problem Solving
Journal of Symbolic Logic 47 (2):477-478 (1982)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Robert Kowalski, Logic for Problem Solving. [REVIEW]Donald W. Loveland - 1982 - Journal of Symbolic Logic 47 (2):477-478.
Prof. Kingfisher’s beautiful logic of problem-solving.Nine-Dollar Kingfisher - 2022 - Mindsponge Portal.
Kowalski Robert. Logic for problem solving. Artificial Intelligence Series, no. 7. Elsevier North Holland, Inc., New York and Oxford 1979, xiv + 287 pp. [REVIEW]Donald W. Loveland - 1982 - Journal of Symbolic Logic 47 (2):477-478.
Medical Problem Solving: An Analysis of Clinical Reasoning.Arthur S. Elstein, Lee S. Shulman & Sarah A. Sprafka - 2013
Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
Logic of Discovery and Diagnosis in Medicine.Kenneth F. Schaffner (ed.) - 1985 - Univ of California Press.
Loveland Donald. A new interpretation of the von Mises' concept of random sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 279–294.Loveland D. W.. The Kleene hierarchy classification of recursively random sequences. Transactions of the American Mathematical Society, vol. 125 , pp. 497–510. [REVIEW]Robert A. DiPaola - 1971 - Journal of Symbolic Logic 36 (3):537-538.
Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-118.
Analytics
Added to PP
2017-02-21
Downloads
12 (#1,094,538)
6 months
3 (#1,208,233)
2017-02-21
Downloads
12 (#1,094,538)
6 months
3 (#1,208,233)
Historical graph of downloads
Citations of this work
Constructing argument graphs with deductive arguments: a tutorial.Philippe Besnard & Anthony Hunter - 2014 - Argument and Computation 5 (1):5-30.
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknown
The Antinomies of Serendipity How to Cognitively Frame Serendipity for Scientific Discoveries.Selene Arfini, Tommaso Bertolotti & Lorenzo Magnani - 2020 - Topoi 39 (4):939-948.
Cognitive Economics and the Logic of Abduction.John Woods - 2012 - Review of Symbolic Logic 5 (1):148-161.
Sticking to the Evidence? A Behavioral and Computational Case Study of Micro‐Theory Change in the Domain of Magnetism.Elizabeth Bonawitz, Tomer D. Ullman, Sophie Bridgers, Alison Gopnik & Joshua B. Tenenbaum - 2019 - Cognitive Science 43 (8):e12765.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo