Partition-based logical reasoning for first-order and propositional theories

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems

Steffen L. Lauritzen, David J. Spiegelhalter · Journal of the Royal Statistical Society Series B (Statistical Methodology) · 1988 · 4K citations

Computing, Mathematics, Knowledge Representation +16

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16