Journal of Automated Reasoning (JAR), Volume 14

Volume 14, Number 1, February 1995

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

Volume 14, Number 2, April 1995

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

Volume 14, Number 3, June 1995

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