Journal of Automated Reasoning 1993: Vol 11 Table of Contents

3 Pages·1993·0.82 MB·English

Journal of Automated Reasoning 11 (1993)
Contents to Volume 11
Volume 11 No.1 August 1993
ADRIAN WALKER / Backchain Iteration: Towards a Practical Inference Method
That Is Simple Enough to Be Proved Terminating, Sound, and Complete
FAUSTO GIUNCHIGLIA and TOBY WALSH / The Inevitability of Inconsistent
Abstract Spaces
AMY FELTY / Implementing Tactics and Tacticals in a Higher-Order Logic
Programming Language
ALBERTO SEGRE and DANIEL SCHARSTEIN / Bounded-Overhead Caching
for Definite-Clause Theorem Proving
GOPALAN NADATHUR / A Proof Procedure for the Logic of Hereditary Harrop
Formulas
Basic Research Problems:
LARRY WOS / The Problem of Naming and Function Replacement
Volume 11 No.2 October 1993
KLAUS U. SCHULZ / Word Unification and Transformation of Generalized
Equations
ALEXANDRE BOUDET / Competing for the AC-Unification Race
WILLIAM M. FARMER, JOSHUA D. GUTTMAN, and F. JAVIER THAYER /
IMPS: An Interactive Mathematical Proof System
JOHN GRANT, JOHN HORTY, JORGE LOBO, and JACK MINKER / View
Updates in Stratified Disjunctive Databases
JINCHANG WANG / Inference Flexibility in Horn Clause Knowledge Bases and
the Simplex Method
Basic Research Problems:
LARRY WOS / The Problem of Reasoning by Case Analysis
JOURNAL OF AUTOMATED REASONING
Volume 11 No.3 December 1993
Studies in Automated Reasoning:
W. W. BLEDSOE and GUOHUI FENG / SET-VAR
ROSS OVERBEEK / The CADE-11 Competitions: A Personal View
EWING L. LUSK and WILLIAM W. McCUNE / Uniform Strategies: The CADE-
11 Theorem Proving Contest
HANTAO ZHANG / Automated Proofs of Equality Problems in Overbeek’s
Competition
LAWRENCE C. PAULSON / Set Theory for Verification: I. From Foundations to
Functions
SIDNEY C. BAILIN and DAVE BARKER-PLUMMER / #-match: An Inference
Rule for Incrementally Elaborating Set Instantiations
Book Review:
Rachel M. Pilkington: Intelligent Help: Communicating with Knowledge-
Based Systems (SIMON PARSONS)
Basic Research Problems:
LARRY WOS / The Problem of Induction
Author Index to Volume 11
Subject Index to Volume 11