Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,996,166 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
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
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
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
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
1964
1964
Spectroscopic studies of Lewis acid-base complexes—I: Vibrational spectra and assignments for trimethylymine complexes of boron halides
R. Amster
,
R. C. Taylor
1964
Corpus ID: 51844519
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