Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

43 relations
2-satisfiabilityACM Transactions on Programming Languages and SystemsActa InformaticaArtificial Intelligence

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Major Successes of Theory-and-Experiment-Combined Studies in Surface Chemistry and Heterogeneous Catalysis
Experimental discoveries followed by theoretical interpretations that pave the way of further advances by experimentalists is a… 
2003
2003
Uncertainty of Geographic Information and its Support in MADS
Keywords: spatio-temporal databases ; NCCR-MICS ; NCCR-MICS/CL4 Reference LBD-CONF-2003-006 Record created on 2007-01-16… 
Highly Cited
2000
Highly Cited
2000
Collision avoidance and resolution multiple access for multichannel wireless networks
We introduce and analyze CARMA-MC (for collision avoidance and resolution multiple access for multiple channels), a new stable… 
1999
1999
The Role of Technology in Learning: Managing to Achieve a Vision
The paper explores the current context for uses of technology in education, including the nature of work, the capabilities… 
1996
1996
Exception handling and resolution in distributed object-oriented systems
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment… 
1992
1992
Similarity based on extended basis descriptors
We consider the problem of comprehensive characterizations of chemical structures by mathematical invariants. We have illustrated… 
Review
1981
Review
1981
The first decade of Gloria
In 10 years of operation, GLORIA has been used on 26 cruises and has inonified more than 1% of the ocean floor. The paper reviews… 
1980
1980
Sign test of multivariable real polynomials
New theorems and procedures are presented for testing positivity and nonnegativity of a real polynomial in n real variables. The… 
Highly Cited
1979
Highly Cited
1979
Field-flow fractionation of polymers: one-phase chromatography
Field—flow fractionation (FFF) is introduced as a one—phase chromatographic system utilizing an external field to differentially… 
1971
1971
The limiting absorption principle and spectral theory for steady-state wave propagation in inhomogeneous anisotropic media
AbstractMany wave propagation phenomena of classical physics are governed by systems of the Schrödinger form-iDtu+Λu=f(x,t) where… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)