External Links

    Journal: Journal of Automated Reasoning

    Volume 10, Issue 3

    287 -- 343Larry Wos. The Kernel Strategy and Its Use for the Study of Combinatory Logic
    345 -- 370James J. Lu, Monica D. Barback, Lawrence J. Henschen. Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction
    371 -- 388James J. Lu, V. S. Subrahmanian. Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability
    389 -- 397Joachim Steinbach. Simplification Orderings: Putting Them to the Test
    399 -- 420Chitta Baral, V. S. Subrahmanian. Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning
    421 -- 422Larry Wos. The Problem of Reasoning by Analogy

    Volume 10, Issue 2

    143 -- 160Li-Yan Yuan, Jia-Huai You. Autoepistemic Circumscription and Logic Programming
    161 -- 172Shang-Ching Chou, Xiao-Shan Gao. Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu s Decomposition Algorithm
    173 -- 189Shang-Ching Chou, Xiao-Shan Gao. Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving
    191 -- 235Raymond T. Ng, V. S. Subrahmanian. A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
    237 -- 263Marek A. Suchenek. First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment
    265 -- 281Arnon Avron. Gentzen-Type Systems, Resolution and Tableaux
    283 -- 284Larry Wos. The Problem of Selecting an Approach Based on Prior Success

    Volume 10, Issue 1

    1 -- 13William McCune. Single Axioms for Groups and Abelian Groups with Various Operations
    15 -- 58P. A. J. Noel. Experimenting with Isabelle in ZF Set Theory
    59 -- 78Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu. Fuzzy Operator Logic and Fuzzy Resolution
    79 -- 93Francisco Corella. What Holds in a Context?
    95 -- 113Jim Christian. Flatterms, Discrimination Nets, and Fast Term Rewriting
    115 -- 136Frank Vlach. Simplification in a Satisfiability Checker for VLSI Applications
    137 -- 138Larry Wos. The Problem of Automated Theorem Finding
    runs on