William Clocksin

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


2010
  • K. Alahari, L. Ladicky, S. Sengupta, C. Russell, P. Sturgess, P.H.S. Torr, W.F. Clocksin, 2010. Joint optimisation for object class segmentation and dense stereo reconstruction. Proceedings of the British Machine Vision Conference, Aberystwyth, Aug-Sep.

2009
  • Clocksin, W.F., 2009. Artificial intelligence and the future. In M. Winston and R. Edelbach (eds), Society, Ethics, and Technology, Fourth edition, Wadsworth.

2007
  • A.J. McCollum and W.F. Clocksin, 2007. Multidimensional histogram equalization and modification. Proceedings of the 14th International Conference on Image Analysis and Processing, Modena, September, 659-664.

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.