Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,495,329 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.
2009
2009
Major Successes of Theory-and-Experiment-Combined Studies in Surface Chemistry and Heterogeneous Catalysis
G. Somorjai
,
Yimin Li
2009
Corpus ID: 55070948
Experimental discoveries followed by theoretical interpretations that pave the way of further advances by experimentalists is a…
Expand
Review
2008
Review
2008
Contention avoidance and resolution schemes in bufferless all-optical packet-switched networks: a survey
A. Rahbar
,
O. Yang
IEEE Communications Surveys and Tutorials
2008
Corpus ID: 206583346
Optical Packet Switching (OPS) is the promising switching technique to utilize the huge bandwidth offered by all-optical networks…
Expand
Highly Cited
2000
Highly Cited
2000
Collision avoidance and resolution multiple access for multichannel wireless networks
R. Garcés
,
J. Garcia-Luna-Aceves
Proceedings IEEE INFOCOM . Conference on Computer…
2000
Corpus ID: 6888586
We introduce and analyze CARMA-MC (for collision avoidance and resolution multiple access for multiple channels), a new stable…
Expand
Highly Cited
1999
Highly Cited
1999
New Recording Method Combining Thermo-Magnetic Writing and Flux Detection
H. Saga
,
H. Nemoto
,
H. Takahashi
IEEE International Magnetics Conference
1999
Corpus ID: 20007525
We have developed a new perpendicular thermo-magnetic recording method coupled with magnetic flux detection. The resolution is…
Expand
1999
1999
The Role of Technology in Learning: Managing to Achieve a Vision
Roger 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
1998
1998
Interactive sensor planning
I. Stamos
,
P. Allen
Proceedings. IEEE Computer Society Conference on…
1998
Corpus ID: 5723786
This paper describes an interactive sensor planning system, that can be used to select viewpoints subject to camera visibility…
Expand
Highly Cited
1996
Highly Cited
1996
Velocity analysis using nonhyperbolic move out in transversely isotropic media
T. Alkhalifah
1996
Corpus ID: 55634302
P-wave reflections from horizontal interfaces in transversely isotropic (TI) media have nonhyperbolic moveout.
Review
1981
Review
1981
The first decade of Gloria
A. Laughton
1981
Corpus ID: 128756145
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…
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
1974
1974
State-space models for infinite-dimensional systems
J. Baras
,
R. Brockett
,
P. Fuhrmann
1974
Corpus ID: 1375556
Distributed effects are present in almost all physical systems. In some cases these can be safely ignored but there are many…
Expand
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)
ACCEPT & CONTINUE