External Links

    Journal: Journal of Automated Reasoning

    Volume 7, Issue 4

    447 -- 451Michael A. McRobbie. Automated Reasoning and Nonclassical Logics: Introduction
    453 -- 474John K. Slaney. The Ackermann Constant Theorem: A Computer-Assisted Investigation
    475 -- 487Paul Pritchard. Algorithms for Finding Matrix Models of Propositional Calculi
    489 -- 510Laurent Catach. TABLEAUX: A General Theorem Prover for Modal Logics
    511 -- 536Dov M. Gabbay, Frank Kriwaczek. A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I
    537 -- 561Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette. Computations in Fragments of Intuitionistic Propositional Logic
    563 -- 585A. W. Bollen. Relevant Logic Programming
    587 -- 596Grigori Mints, Tanel Tammet. Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof
    597 -- 630Robert K. Meyer, Martin W. Bunder, Lawrence Powers. Implementing the Fool s Model of Combinatory Logic
    631 -- 634Larry Wos. The Problem of Choosing the Representation, Inference Rule, and Strategy
    635 -- 637Paul B. Thistlewaite, Michael A. McRobbie. Approaching Hard Non-Classical Problems

    Volume 7, Issue 3

    303 -- 324Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill. Experiments with Proof Plans for Induction
    325 -- 336Rolf Socher. Optimizing the Clausal Normal Form Transformation
    337 -- 358Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe. Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs
    359 -- 368Allan Ramsay. Generating Relevant Models
    369 -- 381Werner Nutt. The Unification Hierarchy is Undecidable
    383 -- 401Tong Gao Tang. Programming in Temporal-Nonmonotonic Reasoning
    403 -- 433Yishai A. Feldman, Charles Rich. Pattern-Directed Invocation with Changing Equations
    435 -- 438Larry Wos. The Problem of Choosing the Type of Subsumption to Use
    439 -- 446Matthew Wilding. Proving Matijasevich s Lemma with a Default Arithmetic Strategy

    Volume 7, Issue 2

    171 -- 191Wu Wen-Tsün. Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics
    193 -- 230Domenico Cantone. Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators
    231 -- 256Domenico Cantone, Jacob T. Schwartz. Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs
    257 -- 270Alfredo Ferro. Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators
    271 -- 284Franco Parlamento, Alberto Policriti. Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability
    285 -- 286Peter B. Andrews. More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation
    287 -- 300Art Quaife. Unsolved Problems in Elementary Number Theory

    Volume 7, Issue 1

    1 -- 26Donald W. Loveland. Near-Horn Prolog and Beyond
    27 -- 103Peter Padawitz. Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs
    105 -- 107Larry Wos. The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy
    109 -- 158Matt Kaufmann. Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm
    runs on