Supporting knowledge-base evolution with incremental formalization

Frank M. Shipman III, Raymond McCall. Supporting knowledge-base evolution with incremental formalization. In Beth Adelson, Susan T. Dumais, Judith S. Olson, editors, Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Proceedings. pages 285-291, ACM, 1994. [doi]

@inproceedings{ShipmanM94a,
  title = {Supporting knowledge-base evolution with incremental formalization},
  author = {Frank M. Shipman III and Raymond McCall},
  year = {1994},
  doi = {10.1145/191666.191768},
  url = {http://doi.acm.org/10.1145/191666.191768},
  tags = {rule-based, incremental},
  researchr = {https://researchr.org/publication/ShipmanM94a},
  cites = {0},
  citedby = {0},
  pages = {285-291},
  booktitle = {Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Proceedings},
  editor = {Beth Adelson and Susan T. Dumais and Judith S. Olson},
  publisher = {ACM},
  isbn = {0-89791-650-6},
}