Journal of Automated Reasoning (JAR), Volume 10

Volume 10, Number 1, February 1993

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

• Larry Wos:
  The Problem of Automated Theorem Finding. 137-138
  

Volume 10, Number 2, April 1993

• Li-Yan Yuan, Jia-Huai You:
  Autoepistemic Circumscription and Logic Programming. 143-160
  
• Shang-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. 161-172
  
• Shang-Ching Chou, Xiao-Shan Gao:
  Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. 173-189
  
• Raymond T. Ng, V. S. Subrahmanian:
  A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. 191-235
  
• Marek A. Suchenek:
  First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. 237-263
  
• Arnon Avron:
  Gentzen-Type Systems, Resolution and Tableaux. 265-281
  

• Larry Wos:
  The Problem of Selecting an Approach Based on Prior Success. 283-284
  

Volume 10, Number 3, June 1993

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

• Larry Wos:
  The Problem of Reasoning by Analogy. 421-422
  

Last update Tue Feb 14 04:19:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page