External Links

    Journal: Journal of Automated Reasoning

    Volume 15, Issue 3

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

    Volume 15, Issue 2

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

    Volume 15, Issue 1

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