Journal of Automated Reasoning (JAR), Volume 15

Volume 15, Number 1, August 1995

• Michael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. 1-40
• Franz Baader, Bernhard Hollunder: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. 41-68
• Sakthi Subramanian: Mechanical Verification of Strategies. 69-93
• Torsten Schaub: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. 95-165

Volume 15, Number 2, October 1995

• Lawrence C. Paulson: Set Theory for Verification. II: Induction and Recursion. 167-215
• Kenneth Kunen: A Ramsey Theorem in Boyer-Moore Logic. 217-235
• Andrei Voronkov: The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees. 237-265
• Hans Jürgen Ohlbach, Christoph Weidenbach: A Note on Assumptions about Skolem Functions. 267-275

Volume 15, Number 3, December 1995

• Larry Wos: Searching for Circles of Pure Proofs. 279-315
• Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for Polymodal Logics. 317-337
• Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-based Deduction. 339-358
• John N. Hooker, V. Vinay: Branching Rules for Satisfiability. 359-383