Journal of Automated Reasoning (JAR), Volume 10

Volume 10, Number 1, February 1993

Studies in Automated Reasoning

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

Basic Research Problems

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

Basic Research Problems

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

Basic Research Problems