Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem proving (ATP) systems for… Expand
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of… Expand
Is this relevant?
2006
2006
This paper presents an assertional-style verification of the aircraft landing protocol of NASA's SATS (Small Aircraft… Expand
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
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… Expand
Is this relevant?
2003
2003
The mental and physical health consequences of substance abuse are numerous, ultimately affecting all biological systems in the… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand
  • figure 5.1
  • figure 8.1
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
In earlier papers we described a technique for automatically constructing inductive proofs, using a heuristic search control… Expand
Is this relevant?
Highly Cited
1963
Highly Cited
1963
1. A double blind study of lithium carbonate treatment in manic illnesses is described. 2. The drug is found to be of value… Expand
  • table I
  • figure 2
Is this relevant?