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