A Machine-Oriented Logic Based on the Resolution Principle

@article{Robinson1965AML,
  title={A Machine-Oriented Logic Based on the Resolution Principle},
  author={John Alan Robinson},
  journal={J. ACM},
  year={1965},
  volume={12},
  pages={23-41}
}
:tb.~tract. Theorem-proving on the computer, using procedures based on the fund~mental theorem of Herbrand concerning the first-order predicate etdeulus, is examined with ~ view towards improving the efticieney and widening the range of practical applicability of these procedures. A elose analysis of the process of substitution (of terms for variables), and the process of t ruth-funct ional analysis of the results of such substitutions, reveals that both processes can be combined into a single… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 2,041 CITATIONS, ESTIMATED 93% COVERAGE

Soundness and principal contexts for a shallow polymorphic type system based on classical logic

  • Logic Journal of the IGPL
  • 2011
VIEW 14 EXCERPTS
CITES METHODS & RESULTS
HIGHLY INFLUENCED

Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem

Andréia Borges Avelar
  • 2011
VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Unification neural networks: unification by error-correction learning

  • Logic Journal of the IGPL
  • 2011
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

How to Produce Information About a Given Entity Using Automated Deduction Methods

  • Electr. Notes Theor. Comput. Sci.
  • 2009
VIEW 12 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Counting for Satisfiability by Inverting Resolution

  • Artificial Intelligence Review
  • 2004
VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Logic and Databases: A 20 Year Retrospective

  • Logic in Databases
  • 1996
VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1950
2018

CITATION STATISTICS

  • 139 Highly Influenced Citations

  • Averaged 51 Citations per year over the last 3 years

Similar Papers

Loading similar papers…