A Machine-Oriented Logic Based on the Resolution Principle

19653,890 citationsJournal Articlebronze Open Access

Authors

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

Topics & Keywords

Logic, Reasoning, and Knowledge Logic, programming, and type systems Semantic Web and Ontologies

Publication Details

Published in: Journal of the ACM

Volume 12, Issue 1, pp. 23-41

DOI: 10.1145/321250.321253

Field-Weighted Citation Impact: 43.80

Command Palette

A Machine-Oriented Logic Based on the Resolution Principle

Authors

Abstract

Topics & Keywords

Publication Details