• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Jen Robinson

  •  Home
  •  Publications
    19
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates

 More details
Areas of Interest
Applied Ethics
Logic and Philosophy of Logic
Philosophy of Social Science
  • All publications (19)
  •  3
    Review: P. C. Gilmore, A Proof Method for Quantification Theory: Its Justification and Realization (review)
    Journal of Symbolic Logic 31 (1): 124-125. 1966.
    Logic and Philosophy of Logic
  •  27
    Theorem-Proving on the Computer
    Journal of Symbolic Logic 31 (3): 514-515. 1966.
    Logic and Philosophy of LogicLogics
  •  77
    Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs (review)
    Journal of Symbolic Logic 32 (1): 118-119. 1967.
    Logic and Philosophy of Logic, MiscellaneousLogics
  •  86
    Meeting of the association for symbolic logic
    with N. M. Martin
    Journal of Symbolic Logic 32 (3): 430. 1967.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  70
    McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227
    Journal of Symbolic Logic 32 (4): 523-523. 1968.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  67
    Automatic Deduction with Hyper-Resolution
    Journal of Symbolic Logic 39 (1): 189-190. 1974.
    Logic and Philosophy of LogicProof Theory
  •  16
    Computational Logic: Essays in Honor of Alan Robinson
    with Jean-Louis Lassez and G. Plotkin
    MIT Press (MA). 1991.
    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science a…Read more
    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock.
    Logics
  •  38
    A Review of Automatic Theorem-Proving (review)
    Journal of Symbolic Logic 39 (1): 190-190. 1974.
    Logic and Philosophy of LogicLogics
  •  33
    Review: H. Gelernter, Theorem Proving by Machine; H. Gelernter, Realization of a Geometry Theorem Proving Machine (review)
    Journal of Symbolic Logic 32 (4): 522-523. 1967.
    LogicsModel Theory
  •  45
    Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94
    Journal of Symbolic Logic 32 (1): 119. 1967.
    Logic and Philosophy of Logic, Miscellaneous
  •  101
    Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128
    Journal of Symbolic Logic 31 (1): 126-126. 1966.
    Proof Theory
  •  85
    Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 , pp. 201–215
    Journal of Symbolic Logic 31 (1): 125-126. 1966.
    Logic and Philosophy of Logic, Misc
  •  85
    P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35 (review)
    Journal of Symbolic Logic 31 (1): 124-125. 1996.
    Logic and Philosophy of Logic, Miscellaneous
  •  71
    Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 , pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 , pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 , pp. 299–303
    Journal of Symbolic Logic 34 (1): 132-133. 1969.
    Logic and Philosophy of Logic, MiscellaneousInformal Logic
  •  69
    Robinson Abraham. Proving a theorem . Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 350–352 (review)
    Journal of Symbolic Logic 32 (4): 522-522. 1968.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  136
    A Machine-Oriented Logic based on the Resolution Principle
    Journal of Symbolic Logic 31 (3): 515-516. 1966.
    Logic and Philosophy of LogicLogics
  •  68
    Loveland Donald W.. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp
    Journal of Symbolic Logic 45 (3): 629-630. 1980.
    Logic and Philosophy of LogicLogics
  • Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations
    with Dov M. Gabbay and C. J. Hogger
    Studia Logica 55 (3): 449-451. 1995.
    Logic and Philosophy of LogicLogics
  •  2
    Review: John McCarthy, Computer Programs for Checking Mathematical Proofs (review)
    Journal of Symbolic Logic 32 (4): 523-523. 1967.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, MiscellaneousLogic and Philosophy of Log…Read more
    Logic and Philosophy of LogicLogic and Philosophy of Logic, MiscellaneousLogic and Philosophy of Logic, General Works
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback