Keith Clark

Infobox Scientist


image_width = 150px
name = Keith L. Clark
birth_date =
birth_place =
death_date =
death_place =
residence =
citizenship =
nationality =
ethnicity =
field = Logic
Computer Science
work_institution = Imperial College London
Uppsala University
University of Queensland
alma_mater = Imperial College London
doctoral_advisor = Robert Kowalski
doctoral_students =
known_for = April
Go! Agent
author_abbreviation_bot =
author_abbreviation_zoo =
prizes =
religion =
footnotes =

Keith L. Clark is a Professor of Computer Science at Imperial College London. He has lectured in both mathematics and computer science. Since 1979 he has had a tenured position in the Department of Computing, Imperial College London, where he has been Professor of Computational Logic since 1987. Between 1987 and 1995 he was also Visiting Professor at Uppsala University. He is currently a Visiting Professor at BTH (since 1997), and at the University of Queensland (since 1998). In 1980 he co-founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for micro-computers and to provide consultancy on expert systems and rule based applications.

His key contributions have been in the field of logic programming. His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming.

Recently he has been working on the April and Go! Agent programming languages and their application to agent programming.

Selected publications

* K. L. Clark, D. Cowell , Programs, Machines and Computation, McGraw-Hill, London, 1976.
* K. L. Clark, S-A. Tarnlund, A first order theory of data and programs, Proc. IFIP Congress, Toronto, 939-944 pp, 1977
* K. L. Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press, New York, 293-322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), Morgan Kaufman, 311 - 325 1987.)
* K. L. Clark, S. Gregory, A relational language for parallel programming, Proc. ACM Conference on Functional Languages and Computer Architecture, ACM, New York, 171-178 pp,1981. (Also in Concurrent Prolog, (ed. E Shapiro), MIT Press, 9 - 26 pp, 1987)
* K. L. Clark, S-A. Tarnlund (eds), Logic Programming, Academic press, London, 1982.
* K. L. Clark, F. G. McCabe, micro-PROLOG: Programming in Logic, Prentice-Hall International, 1984.
* F.G. McCabe, K. L. Clark, April - Agent process interaction language, in Intelligent Agents, (ed N. Jennings, M. Wooldridge), LNAI, Vol 890, Springer-Verlag, 1995.
* K. L. Clark, Logic Programming Languages, Encyclopedia of Computer Science, (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024-1031,Nature Publishing Group, 2000.
* K. L. Clark and F. McCabe, Go! -- A Multi-paradigm Programming Language for Implementing Multi-threaded Agents, Annals of Mathematics and Artificial Intelligence, 41 (2-4): 171-206, August 2004

External links

* [http://www.doc.ic.ac.uk/~klc/ Keith Clark's Web Page]