External Links

    Journal: Journal of Automated Reasoning

    Volume 14, Issue 3

    353 -- 381Karl Schlechta. Logic, Topology, and Integration
    383 -- 412Joan Hart, Kenneth Kunen. Single Axioms for Odd Exponent Groups
    413 -- 426Thomas Jech. OTTER Experiments in a System of Combinatory Logic
    427 -- 462I. Chakrabarti, Dilip Sarkar, Arun K. Majumdar. Identification of Inductive Properties during Verification of Synchronous Sequential Circuits

    Volume 14, Issue 2

    189 -- 235Adel Bouhoula, Michaël Rusinowitch. Implicit Induction in Conditional Theories
    237 -- 255Allan Ramsay. Theorem Proving for Intensional Logic
    257 -- 291Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. Automated Production of Traditional Proofs in Solid Geometry
    293 -- 316Deepak Kapur, G. Sivakumar, Hantao Zhang. A Path Ordering for Proving Termination of AC Rewrite Systems
    317 -- 323Kumar V. Vadaparty. On the Complexity of Nested-Object Matching
    325 -- 351Donald W. Loveland, David W. Reed, Debra Sue Wilson. SATCHMORE: SATCHMO with REIevancy

    Volume 14, Issue 1

    1 -- 0Vladimir Lifschitz. Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning
    3 -- 42Ilkka Niemelä. A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning
    43 -- 91Matthew L. Ginsberg. Modality and Interrupts
    93 -- 147José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira. A Logic Programming System for Nonmonotonic Reasoning
    149 -- 180Franz Baader, Bernhard Hollunder. Embedding Defaults into Terminological Knowledge Representation Formalisms
    runs on