A Machine-Oriented Logic Based on the Resolution Principle

1965/01/01 by John A. Robinson · 21 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies

paper · pdf · doi:10.1145/321250.321253

openalex publication_date 1965/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/22

Abstract

article Free Access Share on A Machine-Oriented Logic Based on the Resolution Principle Author: J. A. Robinson Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, TexasView Profile Authors Info & Claims Journal of the ACMVolume 12Issue 1pp 23–41https://doi.org/10.1145/321250.321253Published:01 January 1965Publication History 2,696citation6,808DownloadsMetricsTotal Citations2,696Total Downloads6,808Last 12 Months797Last 6 weeks75 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

Citations

• A note on the Entscheidungsproblem
• A Proof Method for Quantification Theory: Its Justification and Realization

Cited by

• A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems
• The birth of Prolog
• The unification type of Lukasiewicz logic with a bounded number of variables
• Unification in boolean rings
• On understanding types, data abstraction, and polymorphism
• My collaboration with Julia Robinson
• Principal type-schemes and condensed detachment
• Polynomial-time inference of all valid implications for Horn and related formulae
• Inducing Probabilistic Programs by Bayesian Program Merging
• Seventy Years of Computer Science
• Understanding natural language
• Mental models in cognitive science
• Conceptual Graphs for a Data Base Interface
• Programming languages for distributed computing systems
• Implementing Equational Constraints in a Functional Language
• On the independence of axioms in BL and MTL
• Completely non-clausal theorem proving
• Resolution on formula-trees
• Compactness theorem [wikipedia]
• Preorder [wikipedia]
• Resolution (logic) [wikipedia]