Incremental Generation of VL1 Hypotheses: The Underlying Methodology and the Description of Program AQ11

Abstract

This work was supported in part by the National Science Foundation under Grants MCS 76-22940, MCS 82-05166, and MCS 82-05896, and the Office of Naval Research under Grant N00014-82-K-0186.