A seminal paper concerning what I would like to do. The incremental formalization is a core concept in my effort. However it is not defined clearly what the developed system is supposed to do. A more goal oriented approach could be followed that could also enable the automatic formalization of the knowledge used in the context of a task according to the task's characteristics and knowledge formalized so far.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 DR002
%A Shipman, Frank M.
%A McCall, Raymond
%B Human Factors in Computing Systems.
%C Boston, Massachusetts, USA
%D 1994
%E Adelson, Beth
%E Dumais, Susan
%E Olson, Judith
%I ACM press
%K Formalization, acquisition. hypermedia, knowledge knowledge-based representation, structure, systems,
%P 285-291
%T Supporting Knowledge-Base Evolution with Incremental Formalization.
@inproceedings{DR002,
added-at = {2009-06-22T10:05:09.000+0200},
address = {Boston, Massachusetts, USA},
author = {Shipman, Frank M. and McCall, Raymond},
biburl = {https://www.bibsonomy.org/bibtex/20db113122c37cd49885c74eb166cb100/n.nanas},
booktitle = {Human Factors in Computing Systems.},
editor = {Adelson, Beth and Dumais, Susan and Olson, Judith},
interhash = {7565e2a88735618d12e931b5cf70c1e6},
intrahash = {0db113122c37cd49885c74eb166cb100},
keywords = {Formalization, acquisition. hypermedia, knowledge knowledge-based representation, structure, systems,},
pages = {285-291},
publisher = {ACM press},
qnote = {A seminal paper concerning what I would like to do. The incremental formalization is a core concept in my effort. However it is not defined clearly what the developed system is supposed to do. A more goal oriented approach could be followed that could also enable the automatic formalization of the knowledge used in the context of a task according to the task's characteristics and knowledge formalized so far.},
series = {CHI 94 - Computer Human Interaction.},
timestamp = {2009-06-23T10:19:15.000+0200},
title = {Supporting Knowledge-Base Evolution with Incremental Formalization.},
year = 1994
}