Journal of Automated Reasoning (JAR), Volume 15

Volume 15, Number 1, August 1995

Commonsense and Nonmonotonic Reasoning

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

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

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