{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:31Z","timestamp":1725455851392},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027294","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"295-316","source":"Crossref","is-referenced-by-count":1,"title":["A Z specification of the soft-link hypertext model"],"prefix":"10.1007","author":[{"given":"Mark","family":"d'Inverno","sequence":"first","affiliation":[]},{"given":"Michael","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"15_CR1","unstructured":"M. Arbib. The Metaphorical Brain 2: Neural Networks and Beyond. Wiley, 1989."},{"key":"15_CR2","unstructured":"R. Belew. Adaptive Information Retrieval. In Proceedings of the 12th Annual International ACM SIGIR Conference on Research Development in Information Retrieval, 1989."},{"key":"15_CR3","unstructured":"A. Carling. Introduction to Neural Networks. Sigma Press, 1992."},{"issue":"4","key":"15_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4573(87)90017-3","volume":"23","author":"P. Cohen","year":"1987","unstructured":"P. Cohen and R. Kjeldsen. Information Retrieval by Constrained Spreading Activation in Semantic Networks. Information Processing & Management, 23(4):255\u2013268, 1987.","journal-title":"Information Processing & Management"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"J. Conklin. Hypertext: An Introduction and Survey. Computer, 1987.","DOI":"10.1109\/MC.1987.1663693"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"W. B. Croft and H. Turtle. A Retrieval Model for Incorporating Hypertext Links. In Hypertext'89, November 1989.","DOI":"10.1145\/74224.74242"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"S. J. DeRose. Expanding the Notion of Links. In Hypertext'89, November 1989.","DOI":"10.1145\/74224.74245"},{"key":"15_CR8","volume-title":"Proceedings of IEEE Infocom","author":"M. d'Inverno","year":"1991","unstructured":"M. d'Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"M. d'Inverno, G. R. Justo, and P. Howells. A formal framework for specifying design methodologies. In 29th Annual Hawaii International Conference on System Sciences, pages 741\u2013750. IEEE Computer Society Press, 1996.","DOI":"10.1109\/HICSS.1996.495528"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"M. d'Inverno and M. Luck. A formal view of social dependence networks. In Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Lecture Notes in Artificial Intelligence, 1087, pages 115\u2013129. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61314-5_25"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"M. d'Inverno and M. Luck. Formalising the contract net as a goal directed system. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 72\u201385. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031847"},{"key":"15_CR12","first-page":"83","volume-title":"LNCS 967","author":"M. d'Inverno","year":"1995","unstructured":"M. d'Inverno and M. Priestley. Structuring a Z specification to provide a unifying framework for hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, LNCS 967, pages 83\u2013102, Heidelberg, 1995. Springer-Verlag."},{"key":"15_CR13","unstructured":"S. Grossberg. Studies of Mind and Brain: Neural Principles of Learning, Perception, Development, Cognition, and Motor Control. D.Reidel Publishing Company, 1992."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"F. G. Halasz. Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. Communications of the ACM, 31(7), July 1988.","DOI":"10.1145\/48511.48514"},{"issue":"2","key":"15_CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/175235.175237","volume":"37","author":"F. G. Halasz","year":"1994","unstructured":"F. G. Halasz and M. Schwartz. The Dexter Hypertext. Communications of the ACM, 37(2):30\u201339, 1994.","journal-title":"Communications of the ACM"},{"issue":"1\u20133","key":"15_CR16","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0004-3702(89)90049-0","volume":"40","author":"G. E. Hinton","year":"1989","unstructured":"G. E. Hinton. Connectionist learning procedures. Artificial Intelligence, 40(1\u20133):185\u2013234, 1989.","journal-title":"Artificial Intelligence"},{"key":"15_CR17","volume-title":"PhD thesis","author":"M. J. Hu","year":"1994","unstructured":"M. J. Hu. An Intelligent Information System. PhD thesis, Department of Computer Science, Gower Street, University College London, 1994."},{"key":"15_CR18","unstructured":"M. J. Hu and P. Kirstein. An Intelligent Hypertext System. In The First International Workshop on Intelligent Hypertext (CIKM-93), Washington, 1993."},{"key":"15_CR19","unstructured":"A. Lelu. Browsing through image databases via data analysis and neural networks. In User-oriented Content-based Text and Image Handling: Proceedings of RIAO'88, pages 1034\u20131043, 1993."},{"key":"15_CR20","unstructured":"M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254\u2013260. AAAI Press \/ MIT Press, 1995."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"R. M. Fung et. al. An Architecture for Probabilistic Concept-based Information Retrieval. In Proceedings of the ACM SIGIR'90 conference, Brussels, Belgium, pages 455\u2013467, 1990.","DOI":"10.1145\/96749.98252"},{"issue":"1","key":"15_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-7373(07)80006-X","volume":"35","author":"D. E. Rose","year":"1991","unstructured":"D. E. Rose and R. K. Belew. A connectionist and symbolic hybrid for improving legal research. International Journal of Man-Machine Studies, 35(1):1\u201331, 1991.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"3","key":"15_CR23","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/0306-4573(92)90082-B","volume":"28","author":"J. Savoy","year":"1992","unstructured":"J. Savoy. Bayesian Inference Networks and Spreading Activation in Hypertext Systems. Information Processing and Management, 28(3):389\u2013406, 1992.","journal-title":"Information Processing and Management"},{"key":"15_CR24","volume-title":"The Fuzz Manual","author":"J. M. Spivey","year":"1992","unstructured":"J. M. Spivey. The Fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd edition, 1992.","edition":"2nd edition"},{"key":"15_CR25","unstructured":"J. M. Spivey. The Z Notation. Prentice Hall, 2nd edition, 1992."},{"key":"15_CR26","unstructured":"J. Reggia T. E. Doszkocs and X. Lin. Connectionist models and information retrieval. Annual Review of Information Science and Technology, 25, 1990."},{"key":"15_CR27","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-1-4471-3556-2_2","volume-title":"Z User Workshop","author":"S. H. Valentine","year":"1993","unstructured":"S. H. Valentine. Putting numbers into the mathematical toolkit. In J. P. Bowen and J. E. Nicholls, editors, Z User Workshop, London 1992, Workshops in Computing, pages 9\u201336. Springer-Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:38Z","timestamp":1586568698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027294"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0027294","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}