Skip to search formSkip to main contentSkip to account menu

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper discusses advantages and disadvantages of some possible alternatives for inference rules that handle quanti ers in the… 
2002
2002
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2002
2002
Description Logics and Semantic Web.- Reasoning with Expressive Description Logics: Theory and Practice.- BDD-Based Decision… 
2001
2001
Tip moth damage among families of parent pine species and their interspecific F1 hybrids was quantitatively assessed in a coastal… 
2000
2000
  • S. Pulman
  • 2000
  • Corpus ID: 18485385
While recent statistical methods for disambiguation in natural language processing have been very successful, earlier arguments… 
2000
2000
Frequent and prolonged insecticide ripp1icutiorz.c. to corztrol the Nantucket pine tip rnotlz, Rhyacionia frustrana (Comstock… 
1999
1999
Session 1.- A Dynamic Programming Approach to Categorial Deduction.- Tractable Transformations from Modal Provability Logics into… 
1984
1984
BENT, A. C. 1938. Life histories ofNorth American birds of prey. Part 2. U. S. Natl. Mus. Bull. 170. CADE, T. J. 1982. The… 
1965
1965
OVER the past five years the capacities of several land birds for obtaining osmotically unobligated water from saline solutions…