Journal of Automated Reasoning (JAR), Volume 1

Volume 1, Number 1, 1985

Larry Wos: Editorial: A Journal Is Born. 1-3 BibTeX
Larry Wos: What Is Automated Reasoning? 6-9 BibTeX
Fernando C. N. Pereira: Logic Programming. 9-13 BibTeX
Robert Hong: Research in Intelligent Robots. 13-17 BibTeX
Robert S. Boyer, J. Strother Moore: Program Verification. 17-23 BibTeX
W. W. Bledsoe, Lawrence J. Henschen: What Is Automated Theorem Proving? 23-28 BibTeX
Bruce G. Buchanan: Expert Systems. 28-35 BibTeX
Graham Wrightson: Nonclassical Logic Theorem Proving. 35-37 BibTeX
C. Cordell Green: What Is Program Synthesis? 37-41 BibTeX
James S. Bennett: ROGET: A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System. 49-74 BibTeX
Christian Lengauer: On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. 75-101 BibTeX
Ewing L. Lusk, Ross A. Overbeek: Non-Horn Problems. 103-114 BibTeX

David M. Russinoff: An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson's Theorem. 121-139 BibTeX
Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. 141-160 BibTeX , Errata: JAR 4(1): 109-111 (1988)
Peter Friedland, Yumi Iwasaki: The Concept and Implementation of Skeletal Plans. 161-208 BibTeX
Ewing L. Lusk, Ross A. Overbeek: Reasoning about Equality. 209-228 BibTeX

William McCune, Lawrence J. Henschen: Experiments with Semantic Paramodulation. 231-261 BibTeX
Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. 263-283 BibTeX
Robert L. Constable, Todd B. Knoblock, Joseph L. Bates: Writing Programs that Construct Proofs. 285-326 BibTeX
Hans Jürgen Ohlbach, Manfred Schmidt-Schauß: The Lion and the Unicorn. 327-332 BibTeX