Supporting knowledge-base evolution with incremental formalization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Supporting knowledge-base evolution with incremental formalization

Full text

Pdf (1.06 MB)

Source

Conference on Human Factors in Computing Systems archive
Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence table of contents

Boston, Massachusetts, United States

Pages: 285 - 291

Year of Publication: 1994

ISBN:0-89791-650-6

Authors

Frank M. Shipman, III	Department of Computer Science & Institute of Cognitive Science, University of Colorado, Boulder, CO
Raymond McCall	College of Environmental Design & Institute of Cognitive Science, University of Colorado, Boulder, CO

Sponsors

SIGCAPH: ACM SIGCAPH Computers and the Physically Handicapped
SIGGRAPH: ACM Special Interest Group on Computer Graphics and Interactive Techniques
SIGGROUP: ACM Special Interest Group on Supporting Group Work
SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 26, Citation Count: 27

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/191666.191768 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Conklin, E.J., Yakemovic, K.C. A Process-Oriented Approach to Design Rationale. Human Computer Interaction 6, 3-4 (1991), pp. 357-391.
	2	Fischer, G., Grudin, J., Lemke, A., McCall, R., Ostwald, J., Reeves, B., Shipman, F. Supporting Indirect, Collaborative Design with Integrated Knowledge-Based Design Environments. Human Computer Interaction, 7, 3 (Fall 1992), pp. 281-314.
	3	Fischer, G., Lemke, A.C., McCall, R., and Morch, A. Making Argumentation Serve Design. Human Computer Interaction 6, 3-4 (1991), pp. 393-419.
	4	G. Fischer , R. McCall , A. Morch, JANUS: integrating hypertext with a knowledge-based design environment, Proceedings of the second annual ACM conference on Hypertext, p.105-117, November 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74224.74233]
	5	Andreas Girgensohn, End-user modifiability in knowledge-based design environments, University of Colorado at Boulder, Boulder, CO, 1992
	6	Frank,G. Halasz, Reflections on NoteCards: seven issues for the next generation of hypermedia systems, Communications of the ACM, v.31 n.7, p.836-852, July 1988 [doi>10.1145/48511.48514]
	7	Martin Hofmann , Uwe Schreiweis , Horst Langendörfer, An integrated approach of knowledge acquisition by the hypertext system CONCORDE, Hypertext: concepts, systems and applications, Cambridge University Press, New York, NY, 1992
	8	Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
	9	Thomas W. Malone , Kum-Yew Lai , Christopher Fry, Experiments with Oval: a radically tailorable tool for cooperative work, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.289-297, November 01-04, 1992, Toronto, Ontario, Canada [doi>10.1145/143457.143532]
	10	Catherine C. Marshall , Russell A. Rogers, Two years before the mist: experiences with Aquanet, Proceedings of the ACM conference on Hypertext, p.53-62, November 30-December 04, 1992, Milan, Italy [doi>10.1145/168466.168490]
	11	Catherine C. Marshall , Frank M. Shipman, III, Searching for the missing link: discovering implicit structure in spatial hypertext, Proceedings of the fifth ACM conference on Hypertext, p.217-230, November 14-18, 1993, Seattle, Washington, United States [doi>10.1145/168750.168826]
	12	Polanyi, M. The Tacit Dimension, Doubleday, Garden City, NY, 1966.
	13	Brent Reeves , Frank Shipman, Supporting communication between designers with artifact-centered evolving information spaces, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.394-401, November 01-04, 1992, Toronto, Ontario, Canada [doi>10.1145/143457.143556]
	14	Frank Major Shipman, III, Supporting knowledge-base evolution with incremental formalization, University of Colorado at Boulder, Boulder, CO, 1993

CITED BY 27

	Mark S. Ackerman , David W. Mcdonald, Collaborative Support for Informal Information in Collective Memory Systems, Information Systems Frontiers, v.2 n.3-4, p.333-347, October-November 2000
	Bertrand Sereno , Simon Buckingham Shum , Enrico Motta, Semi-automatic annotation of contested knowledge on the world wide web, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA
	Gerhard Fischer , Jonathan Ostwald, Knowledge Management: Problems, Promises, Realities, and Challenges, IEEE Intelligent Systems, v.16 n.1, p.60-72, January 2001
	Brent N. Reeves , Frank Shipman, Tacit knowledge: icebergs in collaborative design, ACM SIGOIS Bulletin, v.17 n.3, p.24-33, Dec. 1996
	Albert M. Selvin, Fostering collective intelligence: helping groups use visualized argumentation, Visualizing argumentation: software tools for collaborative and educational sense-making, Springer-Verlag, London, 2003
	Nathan Dwyer , Daniel D. Suthers, A study of the foundations of artifact-mediated collaboration, Proceedings of th 2005 conference on Computer support for collaborative learning: learning 2005: the next 10 years!, p.135-144, May 30-June 04, 2005, Taipei, Taiwan
	Frank M. Shipman, III , Catherine C. Marshall , Thomas P. Moran, Finding and using implicit structure in human-organized spatial layouts of information, Proceedings of the SIGCHI conference on Human factors in computing systems, p.346-353, May 07-11, 1995, Denver, Colorado, United States
	Bertrand Sereno , Simon Buckingham Shum , Enrico Motta, ClaimSpotter: an environment to support sensemaking with knowledge triples, Proceedings of the 10th international conference on Intelligent user interfaces, January 10-13, 2005, San Diego, California, USA
	Mark S. Ackerman , Anne Swenson , Stephen Cotterill , Kurtis DeMaagd, I-DIAG: from community discussion to knowledge distillation, Communities and technologies, Kluwer, B.V., Deventer, The Netherlands, 2003
	Weigang Wang , Jörg Haake, Supporting user-defined activity spaces, Proceedings of the eighth ACM conference on Hypertext, p.112-123, April 06-11, 1997, Southampton, United Kingdom
	Tamara Sumner , Simon Buckingham Shum, From documents to discourse: shifting conceptions of scholarly publishing, Proceedings of the SIGCHI conference on Human factors in computing systems, p.95-102, April 18-23, 1998, Los Angeles, California, United States
	Christine M. Neuwirth , James H. Morris , Susan Harkness Regli , Ravinder Chandhok , Geoffrey C. Wenger, Envisioning communication: task-tailorable representations of communication in asynchronous work, Proceedings of the 1998 ACM conference on Computer supported cooperative work, p.265-274, November 14-18, 1998, Seattle, Washington, United States
	Gerhard Fischer , Ray McCall , Jonathan Ostwald , Brent Reeves , Frank Shipman, Seeding, evolutionary growth and reseeding: supporting the incremental development of design environments, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.292-298, April 24-28, 1994, Boston, Massachusetts, United States
	Peter J. Nürnberg , John J. Leggett , Erich R. Schneider , John L. Schnase, Hypermedia operating systems: a new paradigm for computing, Proceedings of the the seventh ACM conference on Hypertext, p.194-202, March 16-20, 1996, Bethesda, Maryland, United States
	Catherine C. Marshall , Frank M. Shipman, III , James H. Coombs, VIKI: spatial hypertext supporting emergent structure, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.13-23, September 19-23, 1994, Edinburgh, Scotland
	Andruid Kerne , Eunyee Koh , Vikram Sundaram , J. Michael Mistrot, Generative semantic clustering in spatial hypertext, Proceedings of the 2005 ACM symposium on Document engineering, November 02-04, 2005, Bristol, United Kingdom
	Catherine C. Marshall , Frank M. Shipman, III , Raymond J. McCall, Making large-scale information resources serve communities of practice, Journal of Management Information Systems, v.11 n.4, p.65-86, March 1995
	Du Li , Rui Li, Transparent sharing and interoperation of heterogeneous single-user applications, Proceedings of the 2002 ACM conference on Computer supported cooperative work, November 16-20, 2002, New Orleans, Louisiana, USA
	Gerhard Fischer, Seeding, Evolutionary Growth and Reseeding: Constructing, Capturing and Evolving Knowledge in Domain-Oriented Design Environments, Automated Software Engineering, v.5 n.4, p.447-464, October 1998
	Gerhard Fischer , Stefanie Lindstaedt , Jonathan Ostwald , Markus Stolze , Tamara Sumner , Beatrix Zimmermann, From domain modeling to collaborative domain construction, Proceedings of the conference on Designing interactive systems: processes, practices, methods, & techniques, p.75-85, August 23-25, 1995, Ann Arbor, Michigan, United States
	Frank M. Shipman, III , Raymond J. McCall, Incremental formalization with the hyper-object substrate, ACM Transactions on Information Systems (TOIS), v.17 n.2, p.199-227, April 1999
	Frank M. Shipman, III , Catherine C. Marshall, Formality Considered Harmful: Experiences, EmergingThemes, and Directions on the Use of Formal Representations inInteractive Systems, Computer Supported Cooperative Work, v.8 n.4, p.333-352, Oct. 1999
	Hilary Johnson , Lucy Carruthers, Supporting creative and reflective processes, International Journal of Human-Computer Studies, v.64 n.10, p.998-1030, October 2006
	Jason E. Robbins , David M. Hilbert , David F. Redmiles, Extending Design Environments to Software Architecture Design, Automated Software Engineering, v.5 n.3, p.261-290, July 1998
	Panagiotis Louridas , Pericles Loucopoulos, A generic model for reflective design, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.2, p.199-237, April 2000
	Gerhard Fischer , Elisa Giaccardi , Hal Eden , Masanori Sugimoto , Yunwen Ye, Beyond binary choices: integrating individual and social creativity, International Journal of Human-Computer Studies, v.63 n.4-5, p.482-512, October 2005
	Kenneth D. Forbus , Paul J. Feltovich, Afterword: from this revolution to the next, Smart machines in education: the coming revolution in educational technology, MIT Press, Cambridge, MA, 2001