Kelly, Van E.

5 publications

AAAI 1993 KITSS: A Knowledge-Based Translation System for Test Scenarios Van E. Kelly, Mark A. Jones

AAAI 1987 Inferring Formal Software Specifications from Episodic Descriptions Van E. Kelly, Uwe Nonnenmann

AAAI 1983 An Intelligent Aid for Circuit Redesign Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich

AAAI 1982 The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications Van E. Kelly, Louis I. Steinberg

IJCAI 1981 Representations for Reasoning About Digital Circuits Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly