Henschen, Lawrence J.

11 publications

IJCAI 1989 Multi-Dimensional Heuristic Searching Peter C. Nelson, Lawrence J. Henschen

AAAI 1986 Indefinite and GCWA Inference in Indefinite Deductive Databases Lawrence J. Henschen, Hyung-Sik Park

IJCAI 1985 A New Hyperparamodulation Strategy for the Equality Relation Younghwan Lim, Lawrence J. Henschen

IJCAI 1983 Semantic Paramodulation for Horn Sets William McCune, Lawrence J. Henschen

IJCAI 1983 Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs Shamim A. Naqvi, Lawrence J. Henschen

IJCAI 1981 An Improved Filter for Literal Indexing in Resolution Systems Lawrence J. Henschen, Shamim A. Naqvi

IJCAI 1981 Application of Automatic Transformations to Program Verification Robert Veroff, Lawrence J. Henschen

AAAI 1980 Performing Inferences over Recursive Data Bases Shamim A. Naqvi, Lawrence J. Henschen

IJCAI 1977 Automatic Abstracting of Textual Material Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen

IJCAI 1977 Theorem Proving by Covering Expressions Lawrence J. Henschen, W. M. Evangelist

IJCAI 1975 Semantic Resolution for Horn Sets Lawrence J. Henschen