International Conference on Automated Deduction
CADE
A
CORE rank
CORE rank (raw)
A
Fields of research
Artificial Intelligence
Papers indexed
1,984
1980–2025
Papers per year
198099 peak2025
Most published authors
CADE papers
1,984 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1980 | Decision Procedures for Some Fragments of Set Theory. | Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz |
| 1980 | The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. | Roddy W. Erickson, David R. Musser |
| 1980 | A Complete, Nonredundant Algorithm for Reversed Skolemization. | Philip T. Cox, Tomasz Pietrzykowski |
| 1980 | Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. | Alan Bundy, Bob Welham |
| 1980 | Analysis of Dependencies to Improve the Behaviour of Logic Programs. | Maurice Bruynooghe |
| 1980 | Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. | W. W. Bledsoe, Larry M. Hines |
| 1980 | Generating Contours of Integration: An Application of Prolog in Symbolic Computing. | Gbor Belovri, John A. Campbell |
| 1980 | Transforming Matings into Natural Deduction Proofs. | Peter B. Andrews |
| 1980 | Using Meta-Theoretic Reasoning to do Algebra. | Luigia Carlucci Aiello, Richard W. Weyhrauch |
1,976–1,984 of 1,984← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations