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

Topic mentions per year

Topic mentions per year

1936-2017
010020019362016

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
2001
Highly Cited
2001
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
 
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
1994
Highly Cited
1994
The Bayou System is a platform of replicated, highly-available, variable-consistency, mobile databases on which to build… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Many sorted logics can increase deductive efficiency by eliminating useless branches of the search space, but usually this… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
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
1971
Highly Cited
1971
The relationship between fuzzy logic and two-valued logic in the context of the first order predicate calctflus is discussed. It… (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?