Resolution (logic)

Known as: Logical resolution, Resolvent (logic), Robinson's Resolution Algorithm 
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational… (More)
  • table 3.1
  • table 3.2
  • table 3.3
  • table 3.4
  • table 4.1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper addresses some issues involved in applying the eventcondition-action (ECA) rule paradigm of active databases to… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Synthetic aperture radar (SAR) is a general method for generating high-resolution radar maps from low-resolution aperture data… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Lifting is one of the most important general techniques for accelerating dii-cult computations. Lifting was used by Alan Robinson… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present a new method that we call generalized discriminant analysis (GDA) to deal with nonlinear discriminant analysis using… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Exponential lower bounds are proved for the length-of-resolution refutations of sets of disjunctions constructed from expander… (More)
  • figure 1
Is this relevant?
Highly Cited
1985
Highly Cited
1985
We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ~:, the length of the shortest… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?
Highly Cited
1971
Highly Cited
1971
Problem-solving systems using two-valued logic suffer from one drawback, they cannot handle fuzzy, or uncertain, information. In… (More)
Is this relevant?
Highly Cited
1965
Highly Cited
1965
:tb.~tract. Theorem-proving on the computer, using procedures based on the fund~mental theorem of Herbrand concerning the first… (More)
Is this relevant?