Publications



Book Details


Clause and Effect by W.F. Clocksin, Springer Verlag, 1997. This short book is a new look at Prolog programming, using programming patterns and applying them to practical case studies. Errata

Programming in Prolog, by W.F. Clocksin and C.S. Mellish, Springer Verlag 1981, 1984, 1987, 1994, 2003. Now in its 5th edition, this was a best-seller when it was first published in 1981, and has been translated into Japanese, French, German, Dutch, Italian, Chinese, Russian, Polish, Hebrew, and Braille.

Consciousness and Human Identity, Edited by John Cornwell, Oxford University Press 1998. Chapter 6 'Artificial Intelligence and Human Identity' by W.F. Clocksin.

Nature's Imagination, Edited by John Cornwell, Oxford University Press 1995. Chapter 12 'Knowledge Representation and Myth' by W.F. Clocksin.

Selected Publications



2006
Nopsuwanchai, N., Biem, A., and Clocksin, W.F., 2006. Maximization of mutual information for offline Thai handwriting recognition. IEEE Transactions on Pattern Analysis and Machine Intelligence 28(8), 1347-1351.

2005
Clocksin, W.F., Fitzgibbon, A.W., and Torr, P.H.S., 2005 (editors). Proceedings of the 16th British Machine Vision Conference. BMVA Press.

2004
Clocksin, W.F., 2004. Handwritten Syriac character recognition using order structure invariance. Proc. 17th International Conference on Pattern Recognition, Cambridge, UK, August.
Clocksin, W.F., 2004. Memory and emotion in the cognitive architecture. In Visions of Mind (D. Davis, ed.), IDEA Group Publishing: Hershey, PA., 122-139.

2003
Clocksin, W.F., 2003. Automatic estimation of overlapping nuclei with high background variation using robust estimation and flexible contour models. Proc. Int. Conf. on Image Analysis and Processing, Mantova, 682-687.
Clocksin, W.F., 2003. Artificial intelligence and the future. Philosophical Transactions of the Royal Society A 361, 1721-1748.
Clocksin, W.F. and Fernando, P.P.J., 2003. Towards automatic transcription of Syriac handwriting. Proc. Int. Conf. on Image Analysis and Processing, Mantova, 664-669.
Clocksin, W.F. and Mellish, C.S., 2003. Programming in Prolog. Fifth Edition. Springer Verlag.
Nopsuwanchi, R. and Clocksin, W.F., 2003. Hidden Markov model for off-line Thai handwriting recognition. Proc 11th International Conference on Artificial Intelligence Applications, Cairo, 180-189.

2002
Clocksin, W.F., Chivers, K.F., Torr, P.H.S., Quinta da Fonseca, J. and Withers, P.J., 2002. Inspection of surface strain in materials using dense displacement fields. 4th International Conference on New Challenges in Mesomechanics, Vol. 2, Aalborg, 467-474.
Clocksin, W.F. and Heimann, T., 2002. Analysis of fluorescence in-situ hybridization image stacks using probabilistic inference methods. Proceedings of the 6th Conference on Medical Image Understanding and Analysis, Portsmouth, U.K., 13-16.
Clocksin, W. F., Quinta da Fonseca, J., Withers, P.J. and Torr, P.H.S., 2002. Image processing issues in digital strain mapping. Proceedings of the SPIE 4790, 384-395.

2001
Lerner, B., Clocksin, W. F., Dhanjal, S., Hulten, M. A. and Bishop, C. M., 2001. Automatic signal classification in fluorescence in-situ hybridization images. Cytometry 43(2), 87-93.
Lerner, B., Clocksin, W. F., Dhanjal, S., Hulten, M. A. and Bishop, C. M., 2001. Feature representation for the automatic analysis of fluorescence in-situ hybridization images. IEEE Transactions on Systems, Man and Cybernetics: A 31(6), 655-665.

2000
Chivers, K. F. and Clocksin, W. F., 2000. Inspection of surface strain in materials using optical flow. Eleventh British Machine Vision Conference, Bristol, 392-401.
Clocksin, W. F., 2000. A new method of computing optical flow. Eleventh British Machine Vision Conference, Bristol, 122-131.
Clocksin, W.F. and Khorsheed, M., 2000. Word recognition in Arabic handwriting. Proc. 8th Int. Conf. on Artificial Intelligence Applications, Volume 1, Cairo, Egypt, 271-279.
Clocksin, W.F. and Lerner, B., 2000. Automatic analysis of fluorescence in-situ hybridization images. Proceedings of the 11th British Machine Vision Conference, Bristol, 666-674.
Khorsheed, M. and Clocksin, W.F., 2000. Multi-font Arabic word recognition using spectral features. Proc. 15th International Conference on Pattern Recognition, Volume 4, Barcelona, Spain, 543-546.

1999
Khorsheed, M. and Clocksin, W.F., 1999. Structural features of cursive Arabic script. Proc. 10th British Machine Vision Conference, Nottingham, 422-431.

1998
Clocksin, W.F., 1998. Artificial intelligence and human identity, in (Cornwell, J., ed.) Consciousness and Human Identity. Oxford University Press, 101-121.

1997
Clocksin, W.F., 1997. Clause and Effect: Prolog Programming for the Working Programmer. Springer Verlag, Berlin.

1995
Clocksin, W.F., 1995. Knowledge representation and myth, in (Cornwell, J., ed.) Nature's Imagination. Oxford University Press, 190-199.

1994
Clocksin, W.F., 1994. The Calliope music publishing system. Computing in Musicology 9, 218-222.
Clocksin, W.F. and Mellish, C.S., 1994. Programming in Prolog. Fourth Edition. Springer Verlag.

1993
Clocksin, W.F., 1993. The DelPhi multiprocessor inference machine, in (Boda, K., ed.) Proceedings of the 4th UK Conference on Logic Programming. Springer Verlag, 189-198.

1992
Clocksin, W.F., 1992. Logic programming specification and execution of dynamic programming problems. Journal of Logic Programming 12(4), 325-333.

1989
Clocksin, W.F. and Moore, A.W., 1989. Experiments in adaptive state-space robotics. Proceedings of the 7th Conference of the Society for Artificial Intelligence and Simulation of Behaviour, 115-125.

1988
Clocksin, W.F., 1988. A technique for translating clausal specifications of numerical methods into efficient programs. Journal of Logic Programming 5(231-242)
Clocksin, W.F. and Alshawi, H., 1988. A method for efficiently executing Horn Clause programs using multiple processors. New Generation Computing 5, 361-376.

1987
Clocksin, W.F., 1987. Principles of the DelPhi parallel inference machine. Computer Journal 30(5), 386-392.
Clocksin, W.F., 1987. A Prolog primer. Byte 12(9), 147-158.
Clocksin, W.F., 1987. Mystery object identified?. Nature 325, 306.
Clocksin, W.F., 1987. Logic programming and digital circuit analysis. Journal of Logic Programming 4, 59-82.
Clocksin, W.F. and Mellish, C.S., 1987. Programming in Prolog. Third Edition. Springer Verlag, Berlin.
Clocksin, W.F. and Morgan, A.J., 1987. Qualitative control, in (DuBoulay, B., Hogg, D. and Steels, L., ed.) Advances in Artificial Intelligence II. North-Holland, 473-479.

1986
Clocksin, W.F., 1986. Comments on some pitfalls in Prolog programming. SIGPLAN Notices 21(12), 111-113.
Clocksin, W.F., 1986. Automatic specialisation of standard designs. Computer Journal 29(6), 495-499.
Clocksin, W.F. and Leeser, M.E., 1986. Determining signal flow from CMOS transistor networks. Integration 4(1), 53-63.
Clocksin, W.F. and Morgan, A.J., 1986. Qualitative control. Proceedings of the European Conference on Artificial Intelligence, Brighton, U.K.

1985
Clocksin, W.F., 1985. Implementation techniques for Prolog databases. Software Practice and Experience 15, 669-675.
Clocksin, W.F., 1985. Design and simulation of a sequential Prolog machine. New Generation Computing 3, 101-120.
Clocksin, W.F., Bromley, J.S.E., Davey, P.G., Morgan, C.G. and Vidler, A.R., 1985. An implementation of model-based visual feedback for robot arc-welding of thin sheet steel. International Journal of Robotics Research 4, 13-26.

1984
Clocksin, W.F., 1984. Logic programming and Prolog, in (Chambers, F.B., Duce, D.A. and Jones, G.P., ed.) Distributed Computing. Academic Press, 79-109.
Clocksin, W.F., 1984. An introduction to Prolog, in (O'Shea, T. and Eisenstadt, M., ed.) Artificial Intelligence. Harper Row, 1-21.
Clocksin, W.F. and Davey, P.G., 1984. Industrial robotics, in (O'Shea, T. and Eisenstadt, M., ed.) Artificial Intelligence. Harper Row, 389-399.
Clocksin, W.F. and Mellish, C.S., 1984. Programming in Prolog. Second Edition. Springer Verlag, Berlin.

1983
Bowen, D.L., Byrd, L. and Clocksin, W.F., 1983. A portable Prolog compiler. Proceedings of the Logic Programming Workshop, Albufeira, Portugal, 74-83.
Clocksin, W.F., 1983. Real-time queue operations using the logical variable. Information Processing Letters 17, 173-175.

1982
Clocksin, W.F., Barratt, J., Davey, P.G., Morgan, C.G. and Vidler, A.R., 1982. Visually guided robot arc-welding of thin sheet steel pressings. Proceedings of the 12th International Symposium on Industrial Robotics, Paris, France, 225-230.
Clocksin, W.F., Davey, P.G., Morgan, C.G. and Vidler, A.R., 1982. Progress in visual feedback for robot arc-welding of thin sheet steel, in (Pugh, A., ed.) Robot Vision. Springer Verlag, 187-198.

1981
Clocksin, W.F. and Mellish, C.S., 1981. Programming in Prolog. Springer Verlag, Berlin.

1980
Clocksin, W.F., 1980. The effect of motion contrast on slant and edge detection. Proceedings of the 4th Conference of the AISB, Amsterdam, Netherlands.
Clocksin, W.F., 1980. Perception of surface slant and edge labels from optical flow: A computational approach. Perception 9(1), 253-269.

1978
Clocksin, W.F., 1978. Determining the orientation of surfaces from optical flow. Proceedings of the 3rd Conference of the AISB, Hamburg, Germany.
Clocksin, W.F., 1978. Artificial intelligence theories of vision. AISB Quarterly 31, 23-27.