leff@smu.UUCP (Laurence Leff) (02/26/89)
UNIVERSITY OF EXETER Department of Computer Science Exeter EX4 4PT Devon England UK ISSUE 1/89 ------------------------------------------------------------------------------ We attach hereto a complete up-to-date list of all Working Papers and Reports which have been generated in the Department in recent years. Should you require any of these papers would you please tick in the order column and return the whole document together with your remittance IN STERLING as no papers will be sent without prior payment. The price of these papers is indicated and includes the cost of second class surface mail only. They can be ordered from: Mrs. J. Stevens, Department of Computer Science, Exeter. EX4 4PT, Devon, UK. If airmail is required then the postage must be paid in advance. Prices on request. Please make your cheque, etc. payable to: THE UNIVERSITY OF EXETER. Should you be paying for these reports by way of Eurocheque WOULD YOU PLEASE ENSURE THAT YOUR NUMBER IS WRITTEN ON THE BACK OF THE CHEQUE. If your name and address on the envelope containing this publication is incorrect would you please return the label suitably amended. If any institution would like to participate in a reciprocal free exchange of research material, we would be happy to consider such an agreement. Working Papers ------------------------------------------------------------------------------ W-No. Author(s) Order Title Date ------------------------------------------------------------------------------ 147 Ford, L.C. Anatomy of an ICAI system 1.25p 1986 148 Ford, L.C. Appraisal of an ICAI system 1.32p 1986 153 Ross, S. & Using Qualitative Information in 1986 Campbell, J.A. Computer-Assisted Interpretation of Graphics and Quantitative Information 1.25p 154 Ross, S. Methods of evaluation in HCI 1.02p 1986 155 Ross, S. An intro to some issues in HCI 1.51p 1986 156 Ross, S. How to present a report: Guidelines 1986 for the write-up of an evaluation experiment in HCI 1.11p 157 Yazdani, M. A process-based Model of Text 1986 Generation 1.38p 159 Attisha, M. Microcomputer aided non-borrow 1984 Al Daimi, K.J. subtraction 1.14p 160 Clapham, R. AI Theory: Computers are undeniably 1987 mindlike: some philosophical replies .90p 161 Yazdani, M. Computational Model of Creativity 1.44p 1988 162 Curtis, A. IVOR: A logic oriented database 2.05p 1987 information validator using PROLOG 163 Jones, E. & Phonetic Analysis of French Text Forthcoming Turner, S.J. using Regular Expressions March '89 164 Horton, I.A. & A Comparison of Parallel Logic Forthcoming Turner, S.J. Programming Languages April '89 165 Sattar, K. & User-friendliness in Syntax Forthcoming Turner, S.J. Directed Editors May '89 167 Ford, L.F. AI and SE - a tutorial introduction 1987 to their relationship 1.75p 168 Ford, L.F. Teaching Strategies and Tactics in 1987 Intelligent CAI 1.45p 169 Yazdani, M. AI for Tutoring 1.25p 1988 170 Ford, L.C. & Alvey-IKBS Research Workshop on 1.87p 1988 Yazdani, M. Tutoring Systems: Workshop Report 171 Barchan, J. & Wusteman, J. A PROLOG-based tool for grammar analysis 1988 of Western European languages 1.40p 172 Uren, J. & Spanish LINGER 1.63p 1988 Yazdani, M. 173 Rush, S. Parallel Processing for 2.00p 1988 Computer Graphics 174 Rush, S. State of the Art in Computer 1.93p 1988 Graphics 175 Morgan, S. Application of Rationalist and 1.40p. 1988 Idealist Views of Knowledge to Knowledge Elicitation 176 Morgan, S. Models for Describing Human-Computer Interfaces 1.00p. 1988 177 Cai, Wentong Graphical Monitoring & Debugging 2.20p. l989 of Parallel Systems Research Reports ------------------------------------------------------------------------------ R-No. Author(s) Order Title Date ------------------------------------------------------------------------------ 124 Horton, I.A. Using Coroutines in Pascal 2.57p 1985 & Turner,S.J. 126 Barchan, J., A PROLOG-based tool for 2.19p 1985 Woodmansee, B.J. French Grammar Analysis & Yazdani, M. 127 Cumming, R. Using Prolog to Learn Grammars from 1985 Examples 1.15p 128 Narayanan, A. Why AI cannot be wrong 1.27p 1985 129 Mehdi, S. Arabic Language Parser 1.93p 1985 130 Shihab, K.I. ESYMAS: An expert system for computer 1987 system modelling analysis 1.62p 131 Mehdi, S. Arabic Language Semantic 1986 Analyser 2.23p 133 Kent, S.J.H. Basis of a Natural Language Help 1986 Facility using Conceptual Dependency Theory and PROLOG 5.70p 134 Mehdi, S. & A Linguistic Model for the Computer Narayanan, A. Interpretation of Arabic (2nd Edition) 1987 2.23p 135 Campbell. J.A. Applications of AI in Computer 1986 & Shihab, K.I. Performance Modelling 1.25p 137 Galton, A.P. Critical Examination of J.F. Allen's 1986 Theory of Action and Time 1.85p 138 Partridge, D. AI in Practical Software: promise and 1987 problems 1.08p 139 Galton, A.P. Logic of Occurrence 2.75p 1986 140 Partridge, D. Is Intuitive Expertise Rule Based? 1.08p 1986 141 Ortony, A. & Surprisingness & Expectation Failure: 1987 Partridge, D. What's the Difference? 1.44p 142 Partridge, D. What's wrong with neural 1987 architectures .88p 143 Partridge, D. Does AI have a methodology which is 1987 Wilks, Y. different from software engineering? 1.08p 144 Partridge, D. Human Decision Making & the Symbolic Search Space Paradigm in AI 2.46p 1987 145 Partridge, D. Learning in Databases 1.26p 1987 146 K.R.Paap & Visual Perception 2.35p 1988 Partridge, D. 147 Partridge, D., Visual Attention/Perception Algorithms 1987 et al for an Industrial Robot 1.50p 148 Partridge, D. A Biologically Based Algorithm for 1987 Rapid Scene Analysis 1.32p 149 Partridge, D. AI and SE: a survey of possibilities 1987 1.26p 150 Partridge,D. The Scope & Limitations of First 1987 Generation Expert Systems 1.14p 151 Johnston, V.S. A Neural Theory of Cognitive Development 1987 Partridge, D. & 2.11p Lopez,P.D 152 Partridge, D. & An Introduction to Learning in Cognitive 1987 Paap, K. Science 2.05p 153 Narayanan, A. Interpretation of Parallel Logic 1987 & Ngain, L.J. Programs - some practical considerations and an introduction to proclamatory semantics 2.05p 155 Narayayan, A. Representations, Cognitive Architecture 1988 and Connectionism 1.35p 156 Trenouth, J. A Pragmatic Architecture for Embedded 1988 User Modelling - UM in KBET 1.43p 157 Trenouth, J. A Review and Classification of User 1988 Modelling Systems and Methods 2.33p 158 Partridge, D. Symbol-Manipulation Languages: a casual 1988 Introduction 2.00p 159 Horton, I.A. Dynamic Processes in occam 1.15p 1988 & Turner, S.J. 160 Ford, L.F. Instruction and Support for Computer Applications: A Research Manifesto 1.10p 1988 161 Trenouth, J. Anatomy of a User Modelling SubSystem 1.20p 1988 162 Partridge, D. Experiments with a Cognitive 1988 Johnson, V. Industrial Robot 1.93p Lopez, P. 163 Al-Kadurie, O. A Tutoring and Diagnostic System for Arithmetic 3.17p. l987 164 Xu, Ming Qiang Randomized Routing: 'Hot Potato' 1.14p l988 Turner, S.J. Simulations 165 Mehdi, S. & Logic Programming and Inflectional 3.17p l988 Narayanan, A. Languages: An Experiment with Arabic 166 Partridge, D. To add AI, or not to add AI? 1.20p. 1988 167 Partridge, D. Connectionist Networks Qua Graphs 1.00p. l988 168 Cai, Wentong & Highly Transparent Monitoring of Turner, S.J. Parallel Systems using "Logical Clocks" 169 Al-Kadurie, O. & A Coaching Strategy for an 1.45p l989 Yazdani, M. Arithmetic Tutoring System