Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The Internet of Things, an emerging global Internet-based technical architecture facilitating the exchange of goods and services… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This book presents methods to study the controllability and the stabilization of nonlinear control systems in finite and infinite… Expand
  • figure 1
  • figure 1
  • figure 3
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
High spatial frequencies in the illuminating light of microscopes lead to a shift of the object spatial frequencies detectable… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
From the Publisher: Lewis and Papadimitriou present this long awaited Second Edition of their best-selling theory of computation… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We introduce a greedy local search procedure called GSAT for solving propositional satisfiability problems. Our experiments show… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
I give an introduction to Bayesian networks for AI researchers with a limited grounding in probability theory. Over the last few… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Abstract We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ξ, the length of the… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?
Highly Cited
1983
Highly Cited
1983
An algorithm is described which is capable of solving certain word problems: i.e. of deciding whether or not two words composed… Expand
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… Expand
Is this relevant?