spb@onion.cs.reading.ac.uk (Stephen) (10/29/87)
Proceedings of the first
European Workshop on
KNOWLEDGE ACQUISITION FOR
KNOWLEDGE - BASED SYSTEMS
Co - Sponsored by the
Institution of Electrical Engineers
2nd - 3rd September 1987
Reading University
There are only a limited number of Proceedings. These are
available on a first come first served basis. The cost will
be 35 pounds sterling, which includes post and packing
within the UK. Cheques should be made payable to 'The
University of Reading'.
Orders to: Professor T R Addis
Department of Computer Science
University of Reading
Whiteknights
Reading
RG6 2AX
BIBLIOGRAPHY
Broy, M., "Transformational Semantics for Concurrent Programs,"
Information Processing Letters, vol. 11, pp. 87-91, 1980.
Evans, D.J. and Shirley A Williams, "Analysis and Detection of
Parallel Processable Code," Computer Journal, vol. 23, pp.
66-72, 1980.
Kuck, D.J., in The Structure of Computers and Computations, vol.
1, John Wiley and Sons, 1978.
Roucairol, G., "Transformations of Sequential Programs into
Parallel Programs," Cambridge University Press, 1982.
Foster, C C, "Information storage and retrieval using AVL trees,"
ACM 20th National conference, 1965.
Knowlton, K C, "A fast storage allocator," CACM, vol. 8, no. 10,
pp. 623-625, October 1965.
Deuel, P, "On a storage mapping function for data structures,"
CACM, vol. 9, no. 5, May 1966.
Knowlton, K C, "A programmer's description of llllll," CACM, vol.
9, no. 8, Aug. 1966.
CODASYL, ACM, NY, April, 1971.
On Conceptual Modelling. Perspectives from Artificial Intelli-
gence, Databases and Programming Languages, Topics in Infor-
mation Systems, Springer-Verlag, 1984.
"Prolog-2 Reference Manual," 9 West Way, Oxford, OC2 0JB, UK, Ex-
pert Systems International Ltd., 1985.
Quintus Prolog Reference Manual, 6, Quintus Computer Systems
Inc., 1986.
"Arity/Prolog: The Programming Language," 358 Baker Avenue, Con-
cord MA 01742, USA, Arity Corporation, 1986.
Addis, T.R., "A Relation-Based Language Interpreter for a Content
Addressable File Store," ACM Trans on Database Systems, vol.
7, no. 2, pp. 125-163, 1982.
Addis, T.R., "Knowledge Refining for a Diagnostic Aid," Interna-
tional Journal of Man-Machine Studies, vol. 17, pp. 151-164,
1982.
Addis, T.R., Designing Knowledge-Based Systems, Kogan Page, 1985.
ISBN0-85038-859-7
Addis, T.R., "The Role of Explanation in Knowledge Elicitation,"
International Journal of Systems Research and Information
Science, vol. 2, pp. 101-110, 1986.
Addis, T.R., The Boundaries of Knowledge, Informatics 9, 1987.
ASLIB Conference at Kings College, Cambridge
Rawlings, C.J., Representing protein structures in Prolog: the
Prolog representation, Imperial Cancer Research Fund,
Biomedical Computing Unit, 1986. Submitted as part of
results of SERC Contract No: SO/351/84
Hamm, G.H. and G.N. Cameron, "The EMBL data library," Nucleic
Acids Research, vol. 14, no. 1, pp. 5-10, 1986.
Chothia, C., "Principles that determine the structure of pro-
teins," Annual Reviews of Biochemistry, vol. 53.
Codd, E.F., "A relational model of data for large shared data
banks," Comm. ACM, pp. 377-387, 1970.
Codd, E.F., "Further normalization of the database relational
model," IBM Research report, 1971. IBM Thomas Watson
Research Centre. N.Y.
Bridge, D., "Conceptual Data Models in Database Design," Final
year project report for BSc Computer Science at Brunel
University, 1986.
Kyte, J. and R.F. Doolittle, "A simple method for displaying the
hydropathic character of a protein," Journal of Molecular
Biology, vol. 157, pp. 105-132, 1982.
Duncan, T., PROPS 2 Reference Manual, Imperial Cancer Research
Fund, Biomedical Computing Unit, 1986.
Sweet, R.M. and D. Eisenberg, "Correlation of sequence hydropho-
bicities measures similarity in three dimensional protein
structure," Journal of Molecular Biology, vol. 171, pp.
479-488, 1983.
Elleby, P. and T.R. Addis, "Extending the Relational Database
Model to capture more Constraints," A KSG Technical Report,
1987.
Chou, P.Y. and G.D. Fasman, "Prediction of the secondary struc-
ture of proteins from their amino acid sequence," Advances
in Enzymology, vol. 47, pp. 45-148, 1980.
Ptitsyn, O.B. and A.V. Finkelstein, "Similarities of protein to-
pologies: evolutionary divergence - functional convergence
or principles of folding?," Annual Reviews of Biophysics,
vol. 13, pp. 339-386, 1980.
Bernstein, F.C., T. Koetzle, G.J.B. William, E. Meyer, M.D.
Brice, J.R. Rodger, O. Kennard, T. Shimanouchi, and M.
Tasumi, "The protein data bank: a computer-based archival
file for macromolecular structures," Journal of Molecular
Biology, vol. 112, pp. 535-542, 1977.
Harre, R., The Philosophy of Science: An Introductory Survey, Ox-
ford University Press, 1976.
George, D.G., W.C. Barker, and L.T. Hunt, "The protein informa-
tion resource (PIR)," Nucleic Acids Research, vol. 14, no.
1, pp. 17-20, 1986.
Cohen, F.E., R.M. Abarbanel, I.D. Kuntz, and R.J. Fletterick,
"Secondary structure assignment for A/B proteins by a com-
binatorial approach," Biochemistry, vol. 22, pp. 4894-4904,
1983.
Rawlings, C.J., W.R. Taylor, J. Nyakairu, J. Fox, and M.J.E.
Sternberg, "Reasoning about protein topology using the logic
programming language PROLOG," Journal of Molecular Graphics,
vol. 3, pp. 151-157, 1985.
Rawlings, C.J., W.R.T. Taylor, J. Nyakairu, J. Fox, and M.J.E.
Sternberg, Using Prolog to Represent and Reason about Pro-
tein Structure, Lecture Notes in Computer Science, p. 536,
Springer-Verlag, 1986.
Bruner, J.S., J.J. Goodnow, and G.A. Austin, in A Study of Think-
ing, Wiley, 1956.
Maizel, J. and R.P. Lenk, "Enhanced graphic matrix analysis of
nucleic acid and protein sequences," Proceedings of the Na-
tional Academy of Science USA, vol. 78, no. 12, pp. 7665-
7669, 1981.
Lim, V.I., "Structural principles of the globular organization of
protein chains. A sterochemical theory of globular protein
secondary structure," Journal of Molecular Biology, vol. 88,
pp. 857-872, 1974.
Bolton, N., in Concept Formation, Pergamon Press, 1977. ISBN 0-
08-0214940
Chen, P.P., "The Entity Relationship Model: Toward a Unified View
of Data," ACM Trans on Data Base Systems, vol. 1, no. 1, pp.
9-13, 1976.
Peirce, C.S., Charles S. Peirce: Selected Writings, Dover Publi-
cations Inc, 1966.
Kowalski, R., Logic for Problem Solving, Artificial Intelligence
Series, North Holland Press, Amsterdam, 1979.
Richardson, J., "B-sheet topology and the relatedness of pro-
teins," Nature, vol. 268, pp. 495-500, 1977.
Richardson, J., "The anatomy and taxonomy of protein structure,"
Advances in Protein Chemistry, vol. 34, pp. 167-339, 1981.
Garnier, J., D.J. Osguthorpe, and B. Robson, "Analysis of the ac-
curacy and implications of simple methods for predicting the
secondary structure of globular proteins," Journal of Molec-
ular Biology, vol. 120, pp. 97-120, 1978.
Kabsch, W. and C.Sander, "How good are predictions of protein
secondary structure?," FEBS Letters, vol. 155, pp. 179-182,
1983.
Blundell, T. and M.J.E. Sternberg, "Computer-aided design in pro-
tein engineering," Trends in biotechnology, vol. 3, pp.
228-235, 1985.
Fox, J., D. Frost, T. Duncan, and N. Preston, The PROPS 2 Primer,
Imperial Cancer Research Fund, Biomedical Computing Unit,
1986.
Eisenberg, D., R.M. Weiss, T.C. Terwilliger, and W. Wilcox, "Hy-
drophobic moments and protein structure," Faraday Symposia
Chemical Society, vol. 17, pp. 109-120, 1982.
Taylor, W.R., Protein Structure Prediction, A Practical Approach,
IRL, Oxford, 1987.
Cohen, F.E., M.J.E. Sternberg, and W.R. Taylor, "Analysis and
prediction of protein B-sheet structures by a combinatorial
approach," Nature, vol. 285, pp. 378-382, 1980.
Cohen, F.E., M.J.E. Sternberg, and W.R. Taylor, "Analysis and
prediction of the packing of B-sheet in the tertiary struc-
ture of globular proteins," Journal of Molecular Biology,
vol. 156, pp. 821-862, 1982.
Sternberg, M.J.E. and J.M. Thornton, "On the conformation of pro-
teins: the handiness of the connection between parallel B-
strands," Journal of Molecular Biology, vol. 110, pp. 269-
283, 1977.
Taylor, W.R. and J.M. Thornton, "Prediction of super-secondary
structure in proteins," Nature, vol. 301, pp. 540-542, 1983.
Burridge, J.M., A.J. Morffew, and S.J.P. Todd, "Experiments in
the use of PROLOG for protein querying," Journal of Molecu-
lar Graphics, vol. 3, p. 109, 1985. abstract 13
Lim, V.I., "Algorithms for prediction of A-helical and B-
structural regions in globular proteins," Journal of Molecu-
lar Biology, vol. 88, pp. 873-894, 1974.
Bobrow, D. and T. Wingrad, "An Overview of KRL, a Knowledge
Representation Language," Cognitive Science, vol. 1, no. 1,
1977.
Hopp, T.P. and K.R. Woods, "A computer program for predicting an-
tigenic determinants," Molecular Immunology, vol. 20, 1983.
Grant, T.J. and P. Elleby, An AI Aid for Scheduling Repair Jobs,
pp. 20-22, Paris, 1986. Conference of the Association Fran-
caise d'Intelligence et des Systems de Simulation
Sowa, J.F., Conceptual Structures: Information processing in mind
and machine, Addison-Wesley, 1984.
V.Begg,, Developing Expert CAD Systems, Kogan Page, 1984.
Ullman, J.D., Principles of Database Systems, Pitman Publishing,
1985.
Brueker, J.A. and B.J. Wielings, "Analysis Techniques for
Knowledge Based Systems," Part 2 Esprit Project 12 1.2,
University of Amsterdam, 1983.
Fikes, R. and T. Kehler, "The Role of Frame-Based Representation
in Reasoning," September Communication of the ACM, vol. 28,
no. 9, pp. 904-920, 1985.
Date, C J, An Introduction to Database Systems, Addison-Wesley,
1981.
Hendrix, G G, "Partitioned Networks for Mathematical Modelling of
Natural Language Semantics," Technical Report NL-28, 1975.
Department of Computer Science, University of Texas
Lakatos, I, "The Methodology of Scientific Research Programmes,"
Philosophical Papers, vol. 1, Cambridge University Press,
1978.
Lee, B, "Introducing Systems Analysis and Design," NCC, vol. I &
II, Manchester, 1978.
Pask, G, Conversation Theory: Applications in Education and Ep-
istemology, Oxford, 1976.
Phillips, B, A model for Knowledge and its Application to
Discourse Analysis, 1978. University of Illinois, Depart-
ment of Information Engineering KSL-9
Popper, K R, The Logic of Scientific Discovery, 1959. Hutchinson
10th impression 1980
Robinson, H, Database Analysis and Design, Chartwell-Bratt, 1981.
Rock-Evans, R, "Data Analysis," IPC Business Press, 1981.
Welbank, M, A review of Knowledge Acquisition Techniques for Ex-
pert Systems, 1983. British Telecommunications Martlesham
Consultancy Services
Wood-Harper, A T and C Fitzgerald, "A taxonomy of current ap-
proaches to systems analysis," Computer Journal, vol. 24,
no. 1, 1982.
--
******************************************************************************
* Stephen Bull * Phone: (0734) 875123 *
* Dept. of Computer Science * mail: bull@onion.reading.ac.uk *
* University of Reading, ENGLAND * *