Incremental formalization with the hyper-object substrate
ACM Transactions on Information Systems (TOIS)
Journal of Symbolic Computation - Special issue on computer algebra and mechanized reasoning: selected St. Andrews' ISSAC/Calculemus 2000 contributions
Proceedings of the sixteenth ACM conference on Hypertext and hypermedia
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Semantic transparency in user assistance systems
Proceedings of the 27th ACM international conference on Design of communication
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Organizational wiki as a knowledge management tool
Proceedings of the 28th ACM International Conference on Design of Communication
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
Hi-index | 0.00 |
Much of the scientific, technical, engineering, and mathematical knowledge that enables modern society is laid down and communicated in technical documents. Due to their static presentation of the complex issues involved, they remain inaccessible to most readers and pose formidable barriers even for experts. To enable advanced interactions which would support understanding, software systems will have to incorporate machine-understandable (formal) information, while retaining the informal nature of the documents, which allows efficient communication of ideas and methods between humans. The simplistic dichotomy between "formal" (as expressed in a logic) and "informal" (everything else) is not helpful as a guide for designing representation formats for context. As a step towards a remedy we propose the notion of flexibly formal representations (flexiforms) based on the analysis of document content and its context in the Software Engineering project SAMSDocs where we elicited a formal context for an informal document collection.