Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,761 papers from all fields of science
Search
Sign In
Create Free Account
Conference on Automated Deduction
The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Association for Automated Reasoning
Automated reasoning
Automated theorem proving
CADE ATP System Competition
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Quanti er Inference Rules for SMT proofs ∗
David Deharbe
2011
Corpus ID: 266148274
This paper discusses advantages and disadvantages of some possible alternatives for inference rules that handle quanti ers in the…
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
2002
2002
Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
A. Voronkov
2002
Corpus ID: 118323969
Description Logics and Semantic Web.- Reasoning with Expressive Description Logics: Theory and Practice.- BDD-Based Decision…
Expand
2001
2001
Susceptibility of parent and interspecific F1 hybrid pine trees to tip moth damage in a coastal North Carolina planting
M. Highsmith
,
J. Frampton
,
D. O'malley
,
J. Richmond
,
M. Webb
2001
Corpus ID: 1919934
Tip moth damage among families of parent pine species and their interspecific F1 hybrids was quantitatively assessed in a coastal…
Expand
2000
2000
Statistical and logical reasoning in disambiguation
S. Pulman
Philosophical Transactions of the Royal Society…
2000
Corpus ID: 18485385
While recent statistical methods for disambiguation in natural language processing have been very successful, earlier arguments…
Expand
2000
2000
Effects of Nantucket pine tip moth insecticide spray schedules on loblolly pine seedlings.
C. Fettig
,
K. W. McCravy
,
C. Berisford
2000
Corpus ID: 17991343
Frequent and prolonged insecticide ripp1icutiorz.c. to corztrol the Nantucket pine tip rnotlz, Rhyacionia frustrana (Comstock…
Expand
1999
1999
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
H. Ganzinger
1999
Corpus ID: 118676232
Session 1.- A Dynamic Programming Approach to Categorial Deduction.- Tractable Transformations from Modal Provability Logics into…
Expand
Highly Cited
1992
Highly Cited
1992
Acoustic signalling and its relation to male mating success in sagebrush crickets
W. A. Snedden
,
S. Sakaluk
Animal Behaviour
1992
Corpus ID: 43388327
1984
1984
Agonistic "Whirling" by Zone-Tailed Hawks
W. S. Clark
1984
Corpus ID: 88443178
BENT, A. C. 1938. Life histories ofNorth American birds of prey. Part 2. U. S. Natl. Mus. Bull. 170. CADE, T. J. 1982. The…
Expand
1965
1965
Observations on Metabolism of Sodium Chloride in the Red Crossbill
W. Dawson
,
V. H. Shoemaker
,
H. B. Tordoff
,
A. Borut
1965
Corpus ID: 53642352
OVER the past five years the capacities of several land birds for obtaining osmotically unobligated water from saline solutions…
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