Supporting knowledge-base evolution with incremental formalization
Authors:
Frank M. Shipman, III;Raymond McCall
Affiliations:
Department of Computer Scienee & Institute of Cognitive Science, University of Colorado, Boulder, CO;College of Environmental Design & Institute of Cognitive Science, University of Colorado, Boulder, CO
Venue:
CHI '94 Conference Companion on Human Factors in Computing Systems