Using prototypical objects to implement shared behavior in object-oriented systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
KMS: a distributed hypermedia system for managing knowledge in organizations
Communications of the ACM
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
Communications of the ACM
JANUS: integrating hypertext with a knowledge-based design environment
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Distributed hypertext for collaborative research: the virtual notebook system
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
HyperIntelligence: the next frontier
Communications of the ACM
Using structured types to incorporate knowledge in hypertext
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Hypertext and structured object representation: an unifying view
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Intelligent hypertext for normative knowledge in engineering
Hypertext: concepts, systems and applications
An integrated approach of knowledge acquisition by the hypertext system CONCORDE
Hypertext: concepts, systems and applications
An apprentice that discovers hypertext links
Hypertext: concepts, systems and applications
Platform and application issues in multi-user hypertext
Proceedings of the IFIP WG 8.4 confernece on Multi-user interfaces and applications
Knowledge discovery in databases: an overview
AI Magazine
Experiments with Oval: a radically tailorable tool for cooperative work
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Supporting communication between designers with artifact-centered evolving information spaces
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Supporting collaborative design by embedding communication and history in design artifacts
Supporting collaborative design by embedding communication and history in design artifacts
End-user modifiability in knowledge-based design environments
End-user modifiability in knowledge-based design environments
Two years before the mist: experiences with Aquanet
ECHT '92 Proceedings of the ACM conference on Hypertext
Searching for the missing link: discovering implicit structure in spatial hypertext
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Groupware and social dynamics: eight challenges for developers
Communications of the ACM
Supporting knowledge-base evolution with incremental formalization
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Programmable design environments: integrating end-user programming with domain-oriented assistance
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A perceptually-supported sketch editor
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
VIKI: spatial hypertext supporting emergent structure
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Supporting knowledge-base evolution with incremental formalization
Supporting knowledge-base evolution with incremental formalization
Finding and using implicit structure in human-organized spatial layouts of information
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Implicit structure for pen-based systems within a freeform interaction paradigm
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Semantics happen: knowledge building in spatial hypertext
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
Manipulating structured information in a visual workspace
Proceedings of the 15th annual ACM symposium on User interface software and technology
Integrating Textual Knowledge and Formal Knowledge for Improving Traceability (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
A multi-agent system for acquiring and sharing lessons learned
Computers in Industry - Special issue: Knowledge sharing in collaborative design environments
I-DIAG: from community discussion to knowledge distillation
Communities and technologies
Supporting personal collections across digital libraries in spatial hypertext
Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Knowledge nebula crystallizer for time-based information
Proceedings of the 5th conference on Creativity & cognition
Proceedings of the sixteenth ACM conference on Hypertext and hypermedia
Design rationale: the rationale and the barriers
Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles
A method for visualising possible contexts
International Journal of Advanced Intelligence Paradigms
Redesigning the rationale for design rationale
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Assisting two-way mapping generation in hypermedia workspace
Proceedings of the 21st ACM conference on Hypertext and hypermedia
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Blending freeform and managed information in tables (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Towards a flexible notion of document context
Proceedings of the 29th ACM international conference on Design of communication
Sharing Knowledge and Expertise: The CSCW View of Knowledge Management
Computer Supported Cooperative Work
Hi-index | 0.00 |
Computers require formally represented information to perform computations that support users; yet users who have needed such support have often proved to be unable or unwilling to formalize it. To address this problem, this article introduces an approach called incremental formalization, in which, first, users express information informally and then the system aids them in formalizing it. Incremental formalization requires a system architecture the (1) integrates formal and informal representations and (2) supports progressive formalization of information. The system should have both tools to capture naturally available informal information and techniques to suggest possible formalizations of this information. The hyper-object substrate (HOS) was developed to satisfy these requirements. HOS has been applied to a number of problem domains, including network design, archeological site analysis, and neuroscience education. Users have been successful in adding informal information and then later formalizing it incrementally with the aid of the system. Our experience with HOS has reaffirmed the need for information spaces to evolve during use and has identified additional considerations in the design and instantiation of systems enabling and supporting incremental formalization