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.
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… 
Highly Cited
2007
Highly Cited
2007
Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of… 
Highly Cited
2006
Highly Cited
2006
Phosphorus (P) deficiency is a major limitation to agricultural production in many parts of the world. It is therefore desirable… 
Highly Cited
2005
Highly Cited
2005
Highly Cited
2004
Highly Cited
2004
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a… 
Highly Cited
2003
Highly Cited
2003
Soil P composition can be conveniently determined in alkaline extracts using solution 31P nuclear magnetic resonance (NMR… 
Highly Cited
2003
Highly Cited
2003
The organic P composition of semi-arid arable soils is largely unknown, but such information is fundamental to understanding P… 
Highly Cited
1993
Highly Cited
1993
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… 
Highly Cited
1990
Highly Cited
1990
In earlier papers we described a technique for automatically constructing inductive proofs, using a heuristic search control… 
Review
1963
Review
1963
  • R. Maggs
  • British Journal of Psychiatry
  • 1963
  • Corpus ID: 4694483
Since the first studies of the use of lithium in manic illnesses by Cade (1949), and Noack and Trautner (1951), other…