Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,577 papers from all fields of science
Search
Sign In
Create Free Account
Resolution (logic)
Known as:
Logical resolution
, Resolvent (logic)
, Robinson's Resolution Algorithm
Expand
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
2-satisfiability
ACM Transactions on Programming Languages and Systems
Acta Informatica
Artificial Intelligence
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
The Impact of Neighbourhood Size on Terrain Derivatives and Digital Soil Mapping
Zhu A-Xing
,
J. Burt
,
Michael P. Smith
,
Wang Rongxun
,
Gao Jing
2008
Corpus ID: 126526191
Slope gradient, slope aspect, profile curvature, contour curvature, and other terrain derivatives are computed from digital…
Expand
2004
2004
Measurement of Salicylic Acid by a High-Performance Liquid Chromatography Procedure Based on Ion-Exchange
M. A. Aboul-Soud
,
K. Cook
,
G. Loake
Chromatographia
2004
Corpus ID: 94700037
An improved method for the detection and quantification of salicylic acid is described. This procedure utilised a high…
Expand
2003
2003
Uncertainty of Geographic Information and its Support in MADS
Hong Shu
,
S. Spaccapietra
,
D. Q. Sedas
2003
Corpus ID: 10064197
Keywords: spatio-temporal databases ; NCCR-MICS ; NCCR-MICS/CL4 Reference LBD-CONF-2003-006 Record created on 2007-01-16…
Expand
1999
1999
The Role of Technology in Learning: Managing to Achieve a Vision
R. Lewis
British Journal of Educational Technology
1999
Corpus ID: 15824387
The paper explores the current context for uses of technology in education, including the nature of work, the capabilities…
Expand
1996
1996
Exception handling and resolution in distributed object-oriented systems
Jie Xu
,
A. Romanovsky
,
B. Randell
Proceedings of 16th International Conference on…
1996
Corpus ID: 2574279
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment…
Expand
1992
1992
Similarity based on extended basis descriptors
M. Randic
Journal of chemical information and computer…
1992
Corpus ID: 7257989
We consider the problem of comprehensive characterizations of chemical structures by mathematical invariants. We have illustrated…
Expand
1989
1989
Comparison of Iterative Back-Projection Inversion and Generalized Inversion Without Blocks: Case Studies In Attenuation Tomography
Phyllis Ho-Liu
,
J. Montagner
,
H. Kanamori
1989
Corpus ID: 31008374
Iterative back-projection tomography and generalized inversion without blocks (‘no-block’) are two different inversion techniques…
Expand
1980
1980
Sign test of multivariable real polynomials
E. Walach
,
E. Zeheb
1980
Corpus ID: 60653224
New theorems and procedures are presented for testing positivity and nonnegativity of a real polynomial in n real variables. The…
Expand
Highly Cited
1979
Highly Cited
1979
Field-flow fractionation of polymers: one-phase chromatography
J. Giddings
1979
Corpus ID: 51825045
Field—flow fractionation (FFF) is introduced as a one—phase chromatographic system utilizing an external field to differentially…
Expand
1952
1952
Resolving Power in Diffraction Microscopy with Special Reference to X-Rays
A. Baez
Nature
1952
Corpus ID: 4201392
ROGERS'S1 elementary explanation of Gabor's2 technique for microscopy treats the hologram as a generalized Fresnel zone plate. I…
Expand