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
  
• Ilkka Niemelä:
  A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning. 3-42
  
• Matthew L. Ginsberg:
  Modality and Interrupts. 43-91
  
• José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
  A Logic Programming System for Nonmonotonic Reasoning. 93-147
  
• Franz Baader, Bernhard Hollunder:
  Embedding Defaults into Terminological Knowledge Representation Formalisms. 149-180
  

Volume 14, Number 2, April 1995

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

Volume 14, Number 3, June 1995

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

Last update Sat May 25 20:38:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page