Volume 65, Number 1, January 1994
Eugene Santos Jr.
: A Linear Constraint Satisfaction Approach to Cost-Based Abduction.
Volume 65, Number 2, February 1994
Raúl E. Valdés-Pérez
: Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry.
: A Theory of Measurement in Diagnosis from First Principles.
P. P. Chakrabarti
: Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search.