6. CADE 1982: New York, USA

Donald W. Loveland (Ed.): 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings. Lecture Notes in Computer Science 138 Springer 1982, ISBN 3-540-11558-7 BibTeX

@proceedings{DBLP:conf/cade/1982,
  editor    = {Donald W. Loveland},
  title     = {6th Conference on Automated Deduction, New York, USA, June 7-9,
               1982, Proceedings},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {138},
  year      = {1982},
  isbn      = {3-540-11558-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Monday Morning

Larry Wos: Solving Open Questions with an Automated Theorem-Proving Program. 1-31 BibTeX
Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. 32-49 BibTeX
Dale Miller, Eve Longini Cohen, Peter B. Andrews: A Look at TPS. 50-69 BibTeX

Monday Afternoon

Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Kernel Funtions. 70-84 BibTeX
Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Inference Mechanisms. 85-108 BibTeX
S. K. Winker, Larry Wos: Procedure Implementation Through Demodulation and Related Tricks. 109-131 BibTeX
Bernard Silver: The Application of Homogenization to Simultaneous Equations. 132-143 BibTeX
Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. 144-150 BibTeX
Richard W. Weyhrauch: An Example of FOL Using Metatheory. 151-158 BibTeX
Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted: Comparison of Natural Deduction and Locking Resolution Implementations. 159-171 BibTeX

Tuesday Morning

Douglas R. Smith: Derived Preconditions and Their Use in Program Synthesis. 172-193 BibTeX
Chris Goad: Automatic Construction of Special Purpose Programs. 194-208 BibTeX
Robert E. Shostak: Deciding Combinations of Theories. 209-222 BibTeX
Tomasz Pietrzykowski, Stan Matwin: Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. 223-239 BibTeX
Stan Matwin, Tomasz Pietrzykowski: Exponential Improvement of Efficient Backtracking: data Structure and Implementation. 240-259 BibTeX

Tuesday Afternoon

Dov M. Gabbay: Intuitonistic Basis for Non-Monotonic Logic. 260-273 BibTeX
Alan M. Frisch, James F. Allen: Knowledge Retrieval as Limited Inference. 274-291 BibTeX
Jack Minker: On Indefinite Databases and the Closed World Assumption. 292-308 BibTeX

Wednesday Morning

Ricardo Caferra: Proof by Matrix Reduction as Plan + Validation. 309-325 BibTeX
K. M. Hörnig, Wolfgang Bibel: Improvements of a Tautology-Testing Algorithm. 326-341 BibTeX
Lawrence J. Henschen, Shamim A. Naqvi: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. 342-359 BibTeX
Ronald V. Book: The Power of the Church-Rosser Property for String Rewriting Systems. 360-368 BibTeX
Jörg H. Siekmann, Peter Szabó: Universal Unification and a Classification of Equational Theories. 369-389 BibTeX