Supporting knowledge-base evolution with incremental formalization

Abstract

Article Supporting knowledge-base evolution with incremental formalization Share on Authors: Frank M. Shipman Department of Computer Science & Institute of Cognitive Science, University of Colorado, Boulder, CO Department of Computer Science & Institute of Cognitive Science, University of Colorado, Boulder, COView Profile , Raymond McCall College of Environmental Design & Institute of Cognitive Science, University of Colorado, Boulder, CO College of Environmental Design & Institute of Cognitive Science, University of Colorado, Boulder, COView Profile Authors Info & Claims CHI '94: Proceedings of the SIGCHI Conference on Human Factors in Computing SystemsApril 1994 Pages 285–291https://doi.org/10.1145/191666.191768Published:24 April 1994 44citation646DownloadsMetricsTotal Citations44Total Downloads646Last 12 Months25Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access