Browse

ftp://hcrl.open.ac.uk (143)

	ftp://hcrl.open.ac.uk/pub/documents/Brayshaw-MRE-IJCAI91.ps.Z, 19921022 An Architecture for Visualizing the Execution of Parallel Logic Programs Mike Brayshaw Human Cognition Research Laboratory The Open University Milton Keynes, England, MK7 6AA. Tel: (0)908 65 5015 FAX: (0)908 65 3744 email: mc_brayshaw@vax.acs.open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Price-Thesis0.ps.Z, 19921022 A Framework for the Automatic Animation of Concurrent Programs by Blaine Alexander Price Department of Computer Science University of Toronto Toronto, Ontario, Canada M5S 1A4 A Thesis submitted in conformity with the requirements for the Degree of Master of Science in the University of Toronto Copyright
	ftp://hcrl.open.ac.uk/pub/documents/Price-Paradocs0-Moscow91.ps.Z, 19921024 Reprinted from Proceedings of the First Moscow International HCI Workshop, 5-9 August 1991, Page 1 Moscow, USSR. Publisher: The International Centre for Scientific and Technical Information, pp. 128-137 The Automatic Animation of Concurrent Programs Blaine A. Price1 Ronald M. Baecker Dynamic Graphics
	ftp://hcrl.open.ac.uk/pub/documents/Petre-notPainting-EWHCI92.ps.Z, 19921024 From the proceedings of East-West HCI 92: The St. Petersburg International Conference on Human-Computer Interaction, Volume I, published by the International Centre for Scientific and Technical Information, 125252. 21-B Kuusinen Str., Moscow, Russia Page 217 Why Computer Interfaces Are Not Like
	ftp://hcrl.open.ac.uk/pub/documents/Eisenstadt-TPM-IS.ps.Z, 19921024 A Fine-Grained Account of Prolog Execution for Teaching and Debugging1 (This paper appeared in: Instructional Science, 19(4) pp. 407-436, 1990) Marc Eisenstadt and Mike Brayshaw Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, UK email: M.Eisenstadt@open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/HCRL-AnnualReport.ps.Z, 19921118 c An Overview of Artificial Intelligence and Cognitive Science Research at the Human Cognition Research Laboratory Annual Report, September 1992 Contents 1. Overview of aims and activities..................................... 2 1.1 Statement of purpose............................................... 2
	ftp://hcrl.open.ac.uk/pub/documents/HCRL-Report+fonts.ps.Z, 19921118 c An Overview of Artificial Intelligence and Cognitive Science Research at the Human Cognition Research Laboratory Annual Report, September 1992 Contents 1. Overview of aims and activities..................................... 2 1.1 Statement of purpose............................................... 2
	ftp://hcrl.open.ac.uk/pub/documents/Eisenstadt-SV-Pedagogy.ps.gz, 19930223 Software Visualization As A Pedagogical Tool (Instructional Science 21:335-365) Page 1 Software Visualization As A Pedagogical Tool Marc Eisenstadt, Blaine A. Price, and John Domingue Human Cognition Research Laboratory, The Open University, Milton Keynes MK7 6AA, U.K. Tel: (908) 653149, Fax:
	ftp://hcrl.open.ac.uk/pub/documents/Brayshaw-MRE+Agents-sub.ps.Z, 19930318 MRE: A Flexible and Customisable Program Visualisation Architecture Mike Brayshaw Human Cognition Research Laboratory The Open University Milton Keynes, England, MK7 6AA. Tel: (0)908 65 5015 FAX: (0)908 65 3169 email: m.c.brayshaw@open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Brayshaw-DebugConcSys-sub.ps.Z, 19930318 Intelligent Inference For Debugging Concurrent Systems Mike Brayshaw1 Human Cognition Research Laboratory The Open University Milton Keynes, England, MK7 6AA. Tel: (0)908 65 5015 FAX: (0)908 65 3169 email: m.c.brayshaw@open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Brayshaw-VisualPARLOG-sub.ps.Z, 19930318 Visual Models of PARLOG Execution Mike Brayshaw1 Human Cognition Research Laboratory The Open University Milton Keynes, England, MK7 6AA. Tel: (0)908 65 5015 FAX: (0)908 65 3744 email: mc_brayshaw@vax.acs.open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig04.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-5 Figure 4: A still from Zeus showing the sticks, dots, transcript, and control panel views for a sorting algorithm.
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig01-03.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-1 Figures for Principled Taxonomy of SV (Price, Baecker, & Small) Figure 1: Venn diagram for each of the terms in the SV literature (the size of each area is not relevant and for simplicity the only intersection shown is that for visual
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-text-JVLC.ps.Z, 19930524 to appear in the Journal of Visual Languages and Computing (Vol. 4, No. 3, September) Page 1 A Submission to the Journal of Visual Languages and Computing Title: A Principled Taxonomy of Software Visualization Authors: Blaine A. Price* Ronald M. Baecker Ian S. Small* Human Cognition Research Lab Dynamic
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-tables-JVLC.ps.Z, 19930524 Table 1: Evaluation of the twelve systems against Category A: Scope A.1 A.2 A.1.1 A.1.2 A.1.3 A.1.4 A.2.1 A.2.2 A.1.3.1 A.1.4.1 System Name GeneralityHardware Operating System Language Concurrency Applications Specialty ScalabilityProgramData Set SOS Sorting Algorithms 9 specific sorting algorithms
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig10-16.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-11 Figure 10: TPM s coarse-grained view of the query: party(Who), paused in the middle of a replay. The tool palette on the left includes 6 video replay buttons, and tools for pausing, refocusing, accessing other windows, and zooming. Figure 11:
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig17-26.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-15 Figure 17: ObjectCenter data browser showing the contents of a simple linked list. The user can click on the button that apppears next to any pointer variable to get the next entry in the list or the browser can recursively follow all pointers
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig05-07.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-6 Figure 5: An overlayed image simulating the smooth animation in a TANGO solution to the bin packing problem. Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-7 Figure 6: A snapshot of a synchronized algorithm race in ANIM. Taxonomy of SV
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig09.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-10 Figure 9: A sample fragment of a formatted C function in SEE.
	ftp://hcrl.open.ac.uk/pub/documents/Price-Tax-fig08.ps.Z, 19930524 Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-9 Figure 8: A snapshot of abstract data type animation of a Breadth First Search in UWPI. The currently executing line is highlighted in the source window with basic execution controls appearing on the left side. The abstract data type animation at
	ftp://hcrl.open.ac.uk/pub/documents/Eisenstadt-HTalkDebug-HCI93.ps.Z, 19930708 Why HyperTalk Debugging is More Painful than it Ought To Be* Marc Eisenstadt Human Cognition Research Laboratory, The Open University, Milton Keynes MK7 6AA, U.K. Tel: +44 (0)908 65 3149 Fax: +44 (0)908 65 3169 Email: M.Eisenstadt@open.ac.uk As part of a series of investigations on the nature of
	ftp://hcrl.open.ac.uk/pub/documents/Eisenstadt-DebugTales-ESP5.ps.Z, 19930713 1 Tales of Debugging from The Front Lines* Marc Eisenstadt Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, U.K. M.Eisenstadt@open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Price-Taxonomy0-HICSS92.ps.Z, 19930909 Page 1 A Taxonomy of Software Visualization Blaine A. Price*, Ian S. Small, and Ronald M. Baecker Dynamic Graphics Project, Computer Systems Research Institute University of Toronto, CANADA M5S 1A1 Phone: +1 416-978-6983, Fax: +1 416-978-5184 Internet: rmb@dgp.toronto.edu
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesisIndex.ps.Z, 19930919 Index AAda.........................................................9 ALADDIN.............................................18 Algorithm Animation...........................5 allAreExpecting...................................61 Amethyst ......................................... 9, 41 animation
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis0.ps.Z, 19930919 A Framework for the Automatic Animation of Concurrent Programs by Blaine Alexander Price Department of Computer Science University of Toronto Toronto, Ontario, Canada M5S 1A4 A Thesis submitted in conformity with the requirements for the Degree of Master of Science in the University of Toronto Copyright
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis2.ps.Z, 19930919 Chapter 2 - Concurrent Programming and Dining Philosophers For a man seldom thinks with more earnestness of anything more than he does of his dinner. Samuel Johnson Introduction The introduction of concurrent programming resulted in many changes to the face of computing, including the development of
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis3.ps.Z, 19930919 Chapter 3 - Conceptual Framework For Automatic Animation Truth in science can be defined as the working hypothesis best suited to open the way to the next better one. Konrad Lorenz Introduction The taxonomy presented in Chapter 1 identifies two important categories for program visualization systems:
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis1.ps.Z, 19930919 Chapter 1 - Introduction A picture shows me at a glance what it takes dozens of pages of a book to expound. Ivan Sergeyevich Turgenev Introduction to Visualization One picture is worth well over a thousand words, according to the ancient Chinese proverb. When communicating about complex ideas it is
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis4.ps.Z, 19930919 Chapter 4 - Prototype Implementation Cheops' Law: Nothing ever gets built on schedule or within budget.Robert Anson Heinlein Introduction In the previous chapter I introduced a framework for automatically animating concurrent programs in a modular procedural language. In this chapter I describe a
	ftp://hcrl.open.ac.uk/pub/documents/Price-MThesis56ABbib.ps.Z, 19930919 Chapter 5 - User Testing If it can't be expressed in figures, it is not science; it is opinion. Robert Anson Heinlein Introduction A common complaint about PV systems is that they are simply toys and that they are not useful outside the limited domain of novice to intermediate computer science
	ftp://hcrl.open.ac.uk/pub/documents/DiGiano-Thesis.ps.Z, 19940309 Visualizing Program Behavior Using Non-speech Audio Christopher J. DiGiano Department of Computer Science University of Toronto Toronto, Ontario, Canada A thesis submitted in conformity with the requirements for the Degree of Master of Science in the University of Toronto Christopher J. DiGiano 1992
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr82.ps.gz, 19940718 The Open University 1991 c Remote Message Passing Prototype for the VITAL Project Stuart Watt1. HCRL Technical Report (VITAL SERIES) TR 82 (V 6) December 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT PROJECT P5365)
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr61.ps.gz, 19940718 The Acquist Handbook by Tim Rajan* HCRL Technical Report No. 61 March 1990
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr68.ps.gz, 19940718 Printed on 13/7/94 Mental Properties of Systems by Susan A. J. Stuart HCRL Technical Report No. 68 March 1991
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr76.ps.gz, 19940718 Mental States and Intentionality: A Review of the Literature SUSAN STUART HCRL Technical Report No. 76 March, 1992
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr97.ps.gz, 19940718 Is analogical problem solving always analogical The case for imitation. Second draft 1 Is analogical problem solving always analogical The case for imitation HCRL Technical Report 97 By S. Ian Robertson Is analogical problem solving always analogical The case for imitation. Second draft 2
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr83.ps.gz, 19940718 The Open University 1991 c An Architecture for the Integration of Heterogenous Inference Systems Enrico Motta1 and Arthur Stutt1. HCRL Technical Report (VITAL SERIES) TR 83 (V 7) December 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr75.ps.gz, 19940718 USING IMAGERY TO EXPLORE CONCEPTUAL KNOWLEDGE HANK KAHNEY & MARTIN A. CONWAY HCRL TECHNICAL REPORT NO. 75 FEBRUARY, 1992 Hank Kahney Human Cognition Research Laboratory, Open University, Milton Keynes, U.K. Martin A. Conway Department of Psychology, Lancaster University, Lancaster, U.K. Page 2 Technical
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr71.ps.gz, 19940718 Autonomous Agents, AI and Chaos Theory1 George Kiss Human Cognition Research Laboratory The Open University email: gr_kiss@vax.acs.open.ac.uk HCRL Technical Report No. 71 September, 1990 1 In: J.-A. Meyer and S. Wilson (Eds) From Animals to Animats, Proceedings of the First International Conference on
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr85.ps.gz, 19940718 Variable Coupling of Agents to their Environment: Combining Situated and Symbolic Automata George Kiss HCRL Technical Report 85 1991 The Open University Walton Hall, Milton Keynes Mk7 6AA England Email: gr_kiss@vax.acs.open.ac.uk A paper presented by invitation at the Modelling of Autonomous Agents in
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr106.ps.gz, 19940718 Acknowledgements Apple Computer, Inc. s Advanced Technology Group provided a supportive and productive environment during the summer of 1992, enabling me to undertake this analysis along with other concomitant activities. Parts of this research were also funded by the UK SERC/ESRC/MRC Joint Council
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr87.ps.gz, 19940718 -1- VERY LONG TERM RETENTION OF KNOWLEDGE GILLIAN COHEN, MARTIN CONWAY AND NICOLA STANHOPE HCRL Technical Report No. 87 March, 1992 -2-
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr109.ps.gz, 19940718 A FRACTAL GEOMETRY OF THE MIND by Stuart Watt HCRL Technical Report no. 109 October 1993* * This report was originally written in May 1992, following a HCRL internal seminar; and the content hasn t really changed since, although the views and hopefully the wisdom of the author have deviated from the
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr77.ps.gz, 19940718 The Open University 1991 c Initial Formulation of the Vital-KR Framework Enrico Motta1. HCRL Technical Report (VITAL SERIES) TR 77 (V 1) July 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT PROJECT P5365) Collaborators (VITAL
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr92.ps.gz, 19940718 c Architecture of the VITAL workbench Stuart Watt, John Domingue, and Enrico Motta HCRL Technical Report (VITAL SERIES) TR 92 November,1992 ESPRIT PROJECT P5365 VITAL Technical Report 92 V11 Task 7.3.2, The VITAL Approach VITAL A methodology - based workbench for KBS Life cycle support Document
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr70.ps.gz, 19940718 Towards a Semantics of Desires George Kiss HCRL The Open University Milton Keynes England Han Reichgelt Psychology Department University of Nottingham Nottingham England HCRL Technical Report No. 70 30 April 1991 2
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr72.ps.gz, 19940718 1 A Multi-Agent System for Telephone Network Management1 George Kiss John Domingue Human Cognition Research Laboratory The Open University Milton Keynes England Colin Hopkins British Telecom Research Laboratories Martlesham Heath England HCRL Technical Report No. 72 May 1991 1 Paper in: Proceedings of
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr105.ps.gz, 19940718 Acknowledgements Apple Computer, Inc. s Advanced Technology Group provided a supportive and productive environment during the summer of 1992, enabling me to undertake this analysis along with other concomitant activities. Parts of this research were also funded by the UK SERC/ESRC/MRC Joint Council
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr74.ps.gz, 19940718 The Abstract Interpretation of Hybrid Rule/Frame-based Systems. HCRL Technical Report 74 Rick Evertsz Scientia Ltd., St John's Innovation Centre, Cowley Road, Cambridge, CB4 4WS, United Kingdom. Enrico Motta Human Cognition Research Laboratory, Walton Hall, The Open University, Milton Keynes, MK7 6AA
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr55.ps.gz, 19940718
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr86.ps.gz, 19940718 The Open University 1991 c Existing Model-based Techniques Analysis Zdenek Zdr hal. HCRL Technical Report (VITAL SERIES) TR 86 February 1992 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT PROJECT P5365) Collaborators (VITAL
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr80.ps.gz, 19940718 The Open University 1991 c The Architecture of the VITAL-KR Enrico Motta1 and Arthur Stutt1. HCRL Technical Report (VITAL SERIES) TR 80 (V 4} October 1991 NB See Technical Report 81 for a fuller (and, in some places, revised) account. This work was conducted as part of the VITAL Project: A methodology
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr84.ps.gz, 19940718 The Open University 1991 c Graphical User Interface and Windowing in the VITAL Project John Domingue1 and Stuart Watt1. HCRL Technical Report (VITAL SERIES) TR 84 (V 8) December 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr81.ps.gz, 19940718 c VITAL Knowledge Representation Language Specification Enrico Motta1, Arthur Stutt1, Kieron O'Hara2, Juha Kuusela3, Hannu Toivonen3, Han Reichgelt2, Stuart Watt1, Stuart Aitken2, Fran ois Verbeck4. HCRL Technical Report (VITAL SERIES) TR 81 (V 5) December 1991 This work was conducted as part of the
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr69.ps.gz, 19940718 c An Overview of Artificial Intelligence and Cognitive Science Research at the Human Cognition Research Laboratory Annual Report, November 1992 Technical Report 69 Human Cognition Research Laboratory, The Open University, Milton Keynes MK7 6AA, U.K. Tel: (908) 653149, Fax: (908) 653169,
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr114.ps.gz, 19940720 Chapter 5 - Understanding, imitation, and problem presentation 1 Problem Solving from textbook examples Sydney Ian Robertson, M.A., B.A. Thesis submitted in partial fulfilment of requirements for Ph.D. in Psychology, October 1993. Human Cognition Research Laboratory The Open University Milton Keynes MK7
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr100.ps.gz, 19940720 The Vital Bug Location Methodology i THE VITAL BUG METHODOLOGY John Domingue, Marc Eisenstadt and Blaine Price, March, 1993 Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, U.K. The Vital Bug Location Methodology ii CONTENTS
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr79.ps.gz, 19940720 c Integration of Heterogeneous Languages in the VITAL Project (Architectural Issues) Enrico Motta1 and Arthur Stutt1. HCRL Technical Report (VITAL SERIES) TR 79 (V 3) August 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr95.ps.gz, 19940720 A principled scheme for analyzing the structure of experimental reports 1 A PRINCIPLED SCHEME FOR ANALYSING THE STRUCTURE OF EXPERIMENTAL REPORTS IN PSYCHOLOGY Hank Kahney & Ian Robertson HCRL Technical Report No.95 April 1993 A principled scheme for analyzing the structure of experimental reports 2 A
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr78.ps.gz, 19940720 The Open University 1991 c Review of the KSS0/NEXTRA Knowledge Acquisition Tool for the VITAL Project Marc Eisenstadt1. HCRL Technical Report (VITAL SERIES) TR78 (V 2) July 1991 This work was conducted as part of the VITAL Project: A methodology - based workbench for KBS Life cycle support (ESPRIT
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr66.ps.gz, 19940720 HCRL Technical Report No 66 Wed, Jul 20, 1994 1 Further developments in Qualitative Graphical Reasoning Anthony Willoughby HCRL Technical Report No. 66 September 1990
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr33.ps.gz, 19940721 Declarative Debugging with The Transparent Prolog Machine (TPM) Mike Brayshaw and Marc Eisenstadt Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, UK ECAI-88 Paper Submission, February, 1988
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr56.ps.gz, 19940721 1.Introduction 1.1. Expert systems 'shells' and 'toolkits' The big boom in expert systems technology during the last decade has led to the emergence of 'knowledge engineering' as a discipline in its own right, generally in its role as an applied subset of artificial intelligence. Software support for
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr31.ps.gz, 19940721 Brayshaw & Eisenstadt: "Abstractions in the Transparent Prolog Machine" 1 To appear in K. Bowen & R. Kowalski, (Eds.), Proceedings of the Fifth International Conference Symposium on Logic Programming. Cambridge, MA: MIT Press, 1988. ADDING DATA AND PROCEDURE ABSTRACTION TO THE TRANSPARENT PROLOG MACHINE
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr29.ps.gz, 19940721 AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs1 Marc Eisenstadt and Mike Brayshaw Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, UK
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr25.ps.gz, 19940801 < 1 > Now archaeologists begin to gloss the glosses. To one school, the stone circles are pure symbol; to another, assembly spots or hut foundations. One school thinks a post-hole in an ancient floor stands first of all for a pupil in an iris. The other thinks a post-hole is a post-hole. And so on -
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr35.ps.gz, 19940801 KIVA: an archaeological interpreter By Jitu Patel and Arthur Stutt HCRL Technical Report No. 35 June, 1988
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr54.ps.gz, 19940802 To appear in the Knowledge Acquisition Journal. Fall 1991 Methodological Foundations of Keats, The Knowledge Engineers' Assistant Enrico Motta, Tim Rajan1, John Domingue, and Marc Eisenstadt Human Cognition Research Laboratory The Open University Milton Keynes, MK7 6AA, UK
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr32.ps.gz, 19940802 A Methodology and Tool for Knowledge Acquisition Enrico Motta, Tim Rajan, and Marc Eisenstadt Human Cognition Research Laboratory The Open University Milton Keynes, MK7 6AA, U.K.
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr53.ps.gz, 19940802 This paper appeared in the IEEE Transactions on Software Engineering, 16(10), October 1990. Visual Knowledge Engineering Marc Eisenstadt, John Domingue, Tim Rajan1, and Enrico Motta. Human Cognition Research Laboratory The Open University Milton Keynes, MK7 6AA, UK email: m_eisenstadt@vax.acs.open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr40.ps.gz, 19940802 Knowledge Acquisition as a Process of Model Refinement Enrico Motta, Tim Rajan, and Marc Eisenstadt Human Cognition Research Laboratory The Open University Milton Keynes, MK7 6AA, U.K.
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr30.ps.gz, 19940802 Support for Knowledge Acquisition in The Knowledge Engineer's Assistant (KEATS) Enrico Motta and Marc Eisenstadt Human Cognition Research Laboratory, The Open University (UK) Kent Pitman Artificial Intelligence Laboratory, MIT (USA) Malcolm West Advanced Systems, British Telecom (UK)
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr91.ps.gz, 19940802 Grounding GDMs: A Structured Case Study Enrico Motta, Kieron O'Hara , and Nigel Shadbolt Human Cognition Research Laboratory, The Open University, Walton Hall, Milton Keynes, MK7 6AA. U.K. Artificial Intelligence Group, Dept. of Psychology, University Park, Nottingham, NG7 2RD. U.K. International
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr111.ps.gz, 19940901 DALE INTERIM PROGRAMMER S GUIDE by Stuart Watt HCRL Technical Report no. 111 (V 21) Part of the Vital series October 1993 Human Cognition Research Laboratory, The Open University, Walton Hall, Milton Keynes. MK7 6AA. UK. Email: S.N.K.Watt@open.ac.uk ESPRIT PROJECT P5365 VITAL Task 3.5.1, Shared KB
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr102.ps.gz, 19940901 Fractal Behaviour Analysis by Stuart Watt HCRL Technical Report no. 102 (V 15) Part of the Vital series April 1993 Human Cognition Research Laboratory, The Open University, Walton Hall, Milton Keynes. MK7 6AA. UK. Email: S.N.K.Watt@open.ac.uk FRACTAL BEHAVIOUR ANALYSIS Stuart Watt HCRL, The Open
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr110.ps.gz, 19940905
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr101.ps.gz, 19940905 Role Conflict in Groupware by Stuart Watt HCRL Technical Report no. 101 (V 14) Part of the Vital series April 1993* * This paper was presented at the first International Conference on Intelligent and Cooperative Information Systems (ICICIS 93) in Rotterdam, May 12 14th 1993. Role Conflict in Groupware
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr47.ps.gz, 19940907 An Integrated Approach to Monitoring the Behaviour and Performance of Inference Systems Mike Brayshaw, John Domingue and Tim Rajan* *The order of the authors is strictly alphabetical Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA, UK
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr52.ps.gz, 19940907 A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution Page 1 1. INTRODUCTION This paper presents the Transparent Rule Interpreter (TRI) a system that provides a graphical explanation of rule execution. TRI is one part of KEATS-II (Motta et. al., 1988; in press), a project with
	ftp://hcrl.open.ac.uk/web/techreports/papers/tr93.ps.gz, 19940907 Software Visualization As A Pedagogical Tool (submitted to Instructional Science) Page 1 Software Visualization As A Pedagogical Tool: Redressing Some ITS Fallacies Marc Eisenstadt, Blaine A. Price1, and John Domingue Human Cognition Research Laboratory, The Open University, Milton Keynes MK7 6AA, U.K.
	ftp://hcrl.open.ac.uk/pub/documents/Watt-Anthropomorphism.ps.gz, 19941003 Stuart Watt 1 Introduction The Silent Miaow: S.N.K.Watt@open.ac.uk Cats, bats, and the anthropomorphic computer Human Cognition Research Laboratory The Open University Milton Keynes MK7 6AA Email: Paul Gallico wrote in `Anthropomorphism' is a word you will encounter a great deal in this book, and you
	ftp://hcrl.open.ac.uk/pub/documents/Domingue-banff-94.ps.Z, 19941111 Using Software Visualization Technology in the Validation of Knowledge Based Systems Page 1 USING SOFTWARE VISUALIZATION TECHNOLOGY IN THE VALIDATION OF KNOWLEDGE BASED SYSTEMS John Domingue J.B.Domingue@open.ac.uk Human Cognition Research Laboratory, The Open University, Walton Hall, Milton Keynes, MK7
	ftp://hcrl.open.ac.uk/web/techreports/papers/vss-eval.ps.gz, 19941130 1 Virtual Summer School Evaluation Questionnaires Kim Issroff Institute of Educational Technology The Open University Milton Keynes MK7 6AA This paper reports on one part of the evaluation of the Virtual Summer School: a questionnaire survey of the students who took part. Introduction In August 1994, a
	ftp://hcrl.open.ac.uk/web/techreports/papers/m205reg.ps.gz, 19941220 YOU MUST COMPLETE AND SIGN THIS FORM TO BECOME A REGISTERED OPEN UNIVERSITY STUDENT. PLEASE USE BLOCK CAPITALS. ROMAN CHARACTERS Initials Day Month Year CATEGORIES LAM YAM DUP VET Male Female Address Applicant's signature Date Name The information given above is accurate to the best of my I will abide
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-1.ps.gz, 19950310 The Emerging VITAL Workbench1,2 John Domingue, Enrico Motta, and Stuart Watt Human Cognition Research Laboratory The Open University Walton Hall, Milton Keynes, MK7 6AA, UK email: j.b.domingue@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-2.ps.gz, 19950310 Using Software Visualization... John Domingue Page 22 Eisenstadt, M., Domingue, J., Rajan, T. and Motta, E. (1990) Visual Knowledge Engineering. IEEE Transactions on Software Engineering Special Issue on Visual Programming, October, 16(10) pp. 1164-1177. Evertsz, R., and Motta, E. (1991) The Abstract
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-3.ps.gz, 19950321 The Trouble with What: Issues in method-independent task specifications Enrico Motta, Zdenek Zdrahal Knowledge Media Institute The Open University Walton Hall, Milton Keynes, MK7 6AA United Kingdom E.Motta, Z.Zdrahal@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-5.ps.gz, 19950321 1994 The VITAL Consortium ESPRIT II Project P5365 VITAL A methodology - based workbench for KBS Life cycle support Document reference: VITAL/ID253.4 Date : 22.xii.94 Activity : T253.4 Status : DRAFT Distribution : T253 partners Title : Reusable and Maintainable KBS Design Authors : Arthur STUTT, Enrico
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-6.ps.gz, 19950321 Recording the design decisions of knowledge engineers to facilitate re-use of design models. Arthur Stutt and Enrico Motta Knowledge Media Institute, The Open University, Walton Hall, Milton Keynes MK7 6AA, United Kingdom a.stutt, e.motta@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-4.ps.gz, 19950321 Paper submitted to IJHCS, Special Issue on Sisyphus: The VT Design Problem. Solving VT in VITAL: A Study in Model Construction and Knowledge Reuse Enrico Motta, Kieron O'Hara, Nigel Shadbolt, Arthur Stutt, and Zdenek Zdrahal* *Knowledge Media Institute, The Open University, Walton Hall, Milton
	ftp://hcrl.open.ac.uk/pub/documents/sv-book/styles.ps.gz, 19950329 BOOK STYLES \| 19 Normal FigText FigTextTop FigWide FigWideTop Heading SubHeading SubSubHeading Caption CaptionFigTextBEFORE CaptionFigMargin CaptionFigWide CaptionFigTextTopBEFORE CaptionFigMarginTop CaptionFigWideTop FigMargin FigMarginTop Title Author Chapter The style hierarchy for the PBD book 18 \|
	ftp://hcrl.open.ac.uk/pub/documents/bug-location-methodology.ps.gz, 19950331 The Vital Bug Location Methodology i CONTENTS Acknowledgements.....................................................................................................1 Trademarks ...................................................................................................................1
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-8.ps.gz, 19950519 but Measuring performance directly from the definition turns out to be a difficult task: in fact, it is hard to envisage the actual behaviour of a KBS and to compare it with the specifications. p. 210 The approach outlined in this paper enables KBS and expert behaviour to be compared easily because SV
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-9.ps.gz, 19950519 DD341 Bug Location Tool Page 31 REFERENCES Benbasat, I. and Dhaliwal, J. S. (1988) A Framework for the Validation of Knowledge Acquisition. Proceedings of the 3rd Knowledge Acquisition for Knowledge-Based Systems Workshop. Banff, Alberta, Canada. 6-11 November. Boehm, B., W. (1987) Industrial software
	ftp://hcrl.open.ac.uk/pub/documents/Domingue-Viz-GI92.ps.gz, 19950519 In the Proceedings of Graphics Interface 92 in Vancouver, Canada (13-15 May, 1992), Page 53 Mogran Kaufmann: Palo Alto, CA. A Framework for Describing and Implementing Software Visualization Systems John Domingue Blaine A. Price1 Marc Eisenstadt Human Cognition Research Laboratory The Open University
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-20.ps.gz, 19950519 Chapter to appear in Design Rationale: Concepts, Techniques and Use Moran T.P. and Carroll J.M. (Eds.), 1995, in press. Lawrence Erlbaum Associates: NJ Analysing the Usability of a Design Rationale Notation Simon Buckingham Shum Human-Computer Interaction Group Department of Psychology University of
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-10.ps.gz, 19950522
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-11.ps.gz, 19950522 and
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-12.ps.gz, 19950522
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-13.ps.gz, 19950525 The Knowledge Media Generation Professor Marc Eisenstadt, director-designate of The Open University's proposed new Knowledge Media Instutitue, explains the philosophy behind his team s approach to the new technology. Knowledge Media is an expression I d like you to rehearse: it s going to change your
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19.ps.gz, 19950620 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 61. Reiss, S.P. Working in the Garden Environment for Conceptual Programming. IEEE Software, November 1987 1987, 16 - 27. Reiss, S.P. Interacting with the FIELD environment. Software-Practice and Experience 20 (S1
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19f.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 60. Price, B. A., Baecker, R. M., & Small, I. S. (1993). A Principled Taxonomy of Software Visualisation. Journal of Visual Languages and Computing, 4, 211 - 266. Reiss, S. P. (1985). PECAN: Program Development
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19c.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 28. Figure 21. An illustration of the software visualization support provided by VITAL. This figure was taken from (Domingue, 1995), page 8. The extent to which the Viz framework and library is used within the
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19e.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 46. Figure 39. A screen shot taken from POLKA showing a 2D representation of a quicksort algorithm. The view on the left is a blocks view showing each element in an array as a block whose height indicates the
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19d.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 38. SetValue SetValue SetValue Figure 32 The visual component from a ZEUS auralization of an insertion sort algorithm running on a 20 element list. Each bar line indicates the completion of one pass through the
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19b.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 18. does not step forward to evaluate any new expressions it will only display those values which it has already stored. A current form history feature can also be used so that an expression s previous values can
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-19a.ps.gz, 19950815 The Visualization of Genetic Algorithms - Related Work The Knowledge Media Institute page 8. PAVANE - This is a parallel program visualization system capable of producing 3D colour animations. A shared dataspace is used to maintain the visualization of concurrent processes. A declarative approach is
	ftp://hcrl.open.ac.uk/pub/documents/Mul-PPIG94.ps.gz, 19951107 Psychology of Programming Interest Group, 1994, Open University, Milton Keynes. The effect of graphical and textual visualization on the comprehension of Prolog execution by novices: an empirical analysis Paul Mulholland Human Cognition Research Laboratory Open University Milton Keynes MK7 6AA
	ftp://hcrl.open.ac.uk/pub/documents/Mul-PPIG95.ps.gz, 19951107 Psychology of Programming Interest Group, 1995, University of Edinburgh, Edinburgh. Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students Paul Mulholland Human Cognition Research Laboratory Open University Milton Keynes MK7 6AA p.mulholland@open.ac.uk
	ftp://hcrl.open.ac.uk/pub/documents/Mul-HCRL107.ps.gz, 19951107 Technical Report 107, Human Cognition Research Laboratory, Open University, Milton Keynes, MK7 6AA. Evaluating Program Visualisation Systems: An Information-Based Methodology Paul Mulholland Human Cognition Research Laboratory The Open University Milton Keynes, MK7 6AA, UK. email:
	ftp://hcrl.open.ac.uk/pub/documents/driving-ka-with-sv.ps.gz, 19951110 Driving Knowledge Acquisition Via Expert Scripted Visualizations John Domingue Knowledge Media Institute, The Open University, Walton Hall, Milton Keynes, MK7 6AA. England J.B.Domingue@open.ac.uk Introduction This paper describes a framework, currently under development, for using Software Visualization
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-21.ps.gz, 19951121 To appear in: The Encyclopedia of Computer Science and Technology A. Kent and J. G. Williams, (Eds.). New York: Marcel Dekker, Inc. (1996) Design Argumentation as Design Rationale Simon BUCKINGHAM SHUM Knowledge Media Institute The Open University Milton Keynes MK7 6AA, U.K. Tel: +44 1908-655723 Fax:
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-23.ps.gz, 19960122 Submitted to Human-Computer Interaction Journal, January, 1996 User-Oriented Design Descriptions: Training Software Engineers in the PUM Instruction Language Ann E. Blandford 1 School of Computing Science, Middlesex University, Bounds Green Road, London, N11 2NQ, U.K. Email: A.Blandford@mdx.ac.uk Simon
	ftp://hcrl.open.ac.uk/pub/documents/Mul-title.ps.gz, 19960308 A FRAMEWORK FOR DESCRIBING AND EVALUATING SOFTWARE VISUALIZATION SYSTEMS: A CASE-STUDY IN PROLOG PAUL MULHOLLAND Knowledge Media Institute Open University Thesis submitted in partial fulfilment of requirements for Ph.D.
	ftp://hcrl.open.ac.uk/pub/documents/Mul-figslist.ps.gz, 19960308 List of Figures Chapter 1 Figure Description 1.1 The Prolog grandparent program (adapted from Bratko, 1986). 1.2 PTP trace of the query grandparent(X, Z). 1.3 TPM coarse-grained (left) and fine-grained (right) views of the query grandparent(X, Z). Chapter 2 Figure Description 2.1 Map of the systems
	ftp://hcrl.open.ac.uk/pub/documents/Mul-acknowl.ps.gz, 19960308 ACKNOWLEDGEMENTS I want to thank my supervisor, John Domingue for providing perceptive and challenging comments on all my ideas and work, practical advice, friendly chats and numerous t-shirts during a crucial part of my PhD. My Prolog competence is largely due to the help of Mike Brayshaw. His
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap5.ps.gz, 19960308 5-1 Chapter 5 PROLOG PROGRAM VISUALIZATION LABORATORY (PPVL) This chapter will describe the Prolog Program Visualization Laboratory (PPVL) which provides the first opportunity to study a number of fully implemented tracers within the same environment. PPVL incorporates four SV designs for Prolog: Spy
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap7.ps.gz, 19960308 Chapter 7 EXPERTS DEBUGGING AND EXPLAINING PROLOG The following chapter considers how effective SVs are (or could be) in supporting the activities of expert Prolog programmers. The two activities studied are program debugging and using an SV to support the process of explaining the workings of a program
	ftp://hcrl.open.ac.uk/pub/documents/Mul-abstract.ps.gz, 19960308
	ftp://hcrl.open.ac.uk/pub/documents/Mul-bibliog.ps.gz, 19960308 BIBLIOGRAPHY Adelson, B. (1981). Problem solving and the development of abstract categories in programming languages. Memory and Cognition, 9 (4), 422-433. Adelson, B. (1984). When novices surpass experts: The difficulty of a task may increase with expertise. Journal of Experimental Psychology:
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap1.ps.gz, 19960308 Chapter 1 INTRODUCTION 1.1 The Problem This thesis is concerned with developing and using a framework for the evaluation and description of Software Visualization (SV) systems. SV is the process of using techniques such as typography, graphic design, animation and cinematography to provide
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap2.ps.gz, 19960308 Chapter 2 RELATED WORK: SOFTWARE VISUALIZATION AND INTELLIGENT DEBUGGING AIDS This chapter will review relevant literature in the fields of SV and Intelligent Debugging Aids. The discussion will consider recent developments in SV such as the use of sound and 3D. There will also be a review of taxonomic
	ftp://hcrl.open.ac.uk/pub/documents/Mul-content.ps.gz, 19960308 Contents 1. INTRODUCTION 1-1 1.1 The Problem 1-1 1.2 Software Visualization 1-2 1.3 Prolog 1-2 1.4 Prolog SV 1-4 1.5 The Need for Evaluation 1-5 1.6 The Approach 1-6 1.7 Outline of the thesis 1-8 2. RELATED WORK: SOFTWARE VISUALIZATION AND INTELLIGENT DEBUGGING AIDS 2-1 2.1 Introduction and overview 2-1
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap8.ps.gz, 19960308 Chapter 8 A NEW METAPHOR FOR TEACHING AND UNDERSTANDING PROLOG The work discussed in this chapter aims to use the findings of the original study of novices reported in chapter six to develop new SVs which can be expected to out-perform the original four. This is an important test as it will examine
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap3.ps.gz, 19960308 Chapter 3 RELATED WORK: PSYCHOLOGY OF PROGRAMMING This chapter will review relevant psychological literature. The first section will consider research into the psychology of programming notations, to ascertain whether particular kinds of notational formalisms used in technology such as SV particularly
	ftp://hcrl.open.ac.uk/pub/documents/Mul-chap6.ps.gz, 19960308 Chapter 6 A COMPARATIVE EVALUATION OF SOFTWARE VISUALIZATIONS FOR NOVICES This chapter will describe a study investigating how well Prolog novices are able to use and understand the SVs outlined in the previous chapter. In line with the methodology discussed in chapter four, the study will investigate
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-24.ps.gz, 19960418 On the Future of Journals: Digital Publishing & Argumentation Simon Buckingham Shum, Tamara Sumner and Diana Laurillard Knowledge Media Institute, The Open University, Milton Keynes, MK7 6AA, U.K. Tel: +44 1908-653800, Fax: +44 1908-653169 Email: {S.Buckingham.Shum, T.Sumner, D.Laurillard}@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-25.ps.gz, 19960424 Graphical Argumentation and Design Cognition Simon Buckingham Shum Knowledge Media Institute, The Open University, Milton Keynes, MK7 6AA, U.K. Tel: +44 1908-655723 Fax: +44 1908-653169 S.Buckingham.Shum@open.ac.uk Allan MacLean Rank Xerox Research Centre, 61 Regent Street, Cambridge, CB2 1AB, U.K.
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-22.ps.gz, 19960530 To appear in: Proceedings of Human-Computer Interaction'96, Annual HCI Conference of the British Computer Society, London, 20-23 August, 1996 (Springer-Verlag, London). Multidisciplinary Modelling for User-Centred System Design: An Air-Traffic Control Case Study Simon Buckingham Shum1, Ann Blandford2,
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-32.ps.gz, 19960712 1 Brooking, A. and Motta, E. (1996). A Taxonomy of Intellectual Capital and a Methodology for Auditing It. 17th Annual National Business Conference, McMaster University, Hamilton, Ontario, Canada, January 24-26, 1996. A Taxonomy of Intellectual Capital and a Methodology for Auditing It Annie Brooking
	ftp://hcrl.open.ac.uk/pub/documents/Mul-using96.ps.gz, 19960721 Chapter X Using Software to Teach Computer Programming: Past, Present and Future by Paul Mulholland Marc Eisenstadt Knowledge Media Institute The Open University Over the past twenty years, we have undergone a change of perspective in the way we teach programming. Having begun by worrying in detail
	ftp://hcrl.open.ac.uk/pub/documents/Mul-prin96.ps.gz, 19960721 Chapter X A Principled Approach to the Evaluation of SV: a case-study in Prolog by Paul Mulholland Knowledge Media Institute Open University A large amount of Software Visualization (SV) technology has been developed This is particularly the case for the Prolog programming language whose execution model
	ftp://hcrl.open.ac.uk/web/techreports/papers/p-and-r.ps.gz, 19960729 1 An In-Depth Analysis of Propose & Revise Problem Solving Methods Zdenek Zdrahal, Enrico Motta Human Cognition Research Laboratory The Open University Walton Hall, Milton Keynes, MK7 6AA United Kingdom Z.Zdrahal@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-28.ps.gz, 19960903 Knowledge Media Institute Robust Learning with Missing Data Marco Ramoni Paola Sebastiani KMI-TR-2822 July 1996 Robust Learning with Missing Data Marco Ramoni Knowledge Media Institute The Open University Paola Sebastiani Department of Actuarial Science and Statistics City University
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-31.ps.gz, 19960916 Knowledge Media Institute KMi Stadium: Web-based Audio/Visual Interaction As Reusable Organisational Expertise Marc Eisenstadt, Simon Buckingham Shum& Adam Freeman KMI-TR-31 September, 1996 Workshop on Knowledge Media for Improving Organisational Expertise, 1st International Conference on Practical
	ftp://hcrl.open.ac.uk/pub/documents/ISVL_public.ps.gz, 19960923 The Internet Software Visualization Laboratory1 John Domingue Paul Mulholland Knowledge Media Institute The Open University Walton Hall Milton Keynes, UK MK7 6AA +44 1908 65-5014 {J.B.Domingue, P.Mulholland}@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-33.ps.gz, 19960924 Artificial societies and psychological agents Stuart Watt KMI-TR-33 September 1996 A revised version of this paper is to appear in the British Telecom Technology Journal special issue on Intelligent Agents, Autumn 1996 Artificial societies and psychological agents Stuart Watt Knowledge Media Institute
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-37.ps, 19960925 Digital Genres and the New Burden of Fixity Simeon J. Yates Faculty of Social Sciences The Open University Milton Keynes, MK7 6AA, United Kingdom S.J.Yates@open.ac.uk Tamara R. Sumner Knowledge Media Institute The Open University Milton Keynes, MK7 6AA, United Kingdom T.Sumner@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-26.ps.gz, 19960930 Parametric Design Problem Solving Enrico Motta, Zdenek Zdrahal Knowledge Media Institute The Open University Walton Hall, Milton Keynes, MK7 6AA United Kingdom {e.motta, z.zdrahal}@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-27.ps.gz, 19960930 Improving Competence by Integrating Case-Based Reasoning and Heuristic Search Zdenek Zdrahal, Enrico Motta Knowledge Media Institute The Open University Walton Hall, Milton Keynes, MK7 6AA United Kingdom {z.zdrahal, e.motta}@open.ac.uk
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-39.ps.gz, 19961003 Teaching through electronic mail Stuart Watt Knowledge Media Institute and Department of Psychology KMI-TR-39 September 1995 An unpublished report on the DMZX863 experimental Internet course Common Lisp for Artificial Intelligence Teaching through electronic mail Stuart Watt Knowledge Media Institute
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-30.ps.gz, 19961014 Knowledge Media Institute Negotiating the Construction of Organisational Memory Using Hypermedia Argument Spaces Simon Buckingham Shum KMI-TR-30 September, 1996 Workshop on Knowledge Media for Improving Organisational Expertise, 1st International Conference on Practical Aspects of Knowledge Management,
	ftp://hcrl.open.ac.uk/web/techreports/papers/kmi-tr-29.ps.gz, 19961120 Knowledge Media Institute Robust Parameter Learning in Bayesian Networks with Missing Data Marco Ramoni Paola Sebastiani KMI-TR-29 July 1996 (revised October 1996) Robust Parameter Learning in Bayesian Networks with Missing Data Marco Ramoni Knowledge Media Institute The Open University Paola Sebastiani