A Z specification of the soft-link hypertext model

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1212, Issue , 1997, Pages 295-316

  d’Inverno, Mark ^a   Hu, Michael ^b  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; HYPERTEXT SYSTEMS; INFORMATION RETRIEVAL SYSTEMS;

ASSOCIATIVE SEARCH; CONCEPTUAL INDICES; FORMAL FRAMEWORK; FUTURE GENERATIONS; HYPERTEXT STRUCTURE; MACHINE INTELLIGENCE; RETRIEVAL APPLICATIONS; Z SPECIFICATIONS;

SEARCH ENGINES;

EID: 0007389598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027294     Document Type: Conference Paper

References (27)

1. M. Arbib. The Metaphorical Brain 2: Neural Networks and Beyond. Wiley, 1989.
2. R. Belew. Adaptive Information Retrieval. In Proceedings of the 12th Annual International ACM SIGIR Conference on Research Development in Information Retrieval, 1989.
3. A. Carling. Introduction to Neural Networks. Sigma Press, 1992.
4. P. Cohen and R. Kjeldsen. Information Retrieval by Constrained Spreading Activation in Semantic Networks. Information Processing & Management, 23(4):255 - 268, 1987.
5. J. Conklin. Hypertext: An Introduction and Survey. Computer, 1987.
6. W. B. Croft and H. Turtle. A Retrieval Model for Incorporating Hypertext Links. In Hypertext'89, November 1989.
7. S. J. DeRose. Expanding the Notion of Links. In Hypertext'89, November 1989.
8. M. dTnverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.
9. 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-750. IEEE Computer Society Press, 1996.
10. M. d'lnverno 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-129. Springer Verlag, 1996.
11. M. d'lnverno 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 MultiAgent World, LNAI1038, pages 72-85. Springer-Verlag, 1996.
12. M. d'lnverno 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-102, Heidelberg, 1995. Springer-Verlag.
13. S. Grossberg. Studies of Mind and Brain: Neural Principles of Learning, Perception, Development, Cognition, and Motor Control. D.Reidel Publishing Company, 1992.
14. F. G. Halasz. Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. Communications of the ACM, 31(7), July 1988.
15. F. G. Halasz and M. Schwartz. The Dexter Hypertext. Communications of the ACM, 37(2):30-39, 1994.
16. G. E. Hinton. Connectionist learning procedures. Artificial Intelligence, 40(1 - 3):185 - 234, 1989.
17. M. J. Hu. An Intelligent Information System. PhD thesis, Department of Computer Science, Gower Street, University College London, 1994.
18. M. J. Hu and P. Kirstein. An Intelligent Hypertext System. In The First International Workshop on Intelligent Hypertext (CIKM-93), Washington, 1993.
19. 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 - 1043, 1993.
20. M. Luck and M. d'lnverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254-260. AAAI Press / MIT Press, 1995.
21. 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 - 467, 1990.
22. 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-31, 1991.
23. J. Savoy. Bayesian Inference Networks and Spreading Activation in Hypertext Systems. Information Processing and Management, 28(3):389 - 406, 1992.
24. J. M. Spivey. The /UZZ Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd edition, 1992.
25. J. M. Spivey. The Z Notation. Prentice Hall, 2nd edition, 1992.
26. J. Reggia T. E. Doszkocs and X. Lin. Connectionist models and information retrieval. Annual Review of Information Science and Technology, 25, 1990.
27. 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-36. Springer-Verlag, 1993.