Keith L. Clark | |
|---|---|
| Born | (1943-03-29) March 29, 1943 |
| Alma mater | |
| Scientific career | |
| Fields | |
| Institutions | |
| Thesis | Predicate Logic as a Computational Formalism (1980) |
| Robert Kowalski | |
| Website | www |
Keith Leonard Clark (born 29 March 1943) is a British computer scientist. He is Emeritus Professor in the Department of Computing at Imperial College London, England.1
Education
Clark studied Mathematics at Durham University (Hatfield College), graduating in 1964 with a first-class degree.234 He continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966.4 He earned a Ph.D. in 1980 from the University of London.5
Career and research
Clark lectured in mathematics at City of London Polytechnic from 1966 to 1967, and then spent a year as a teacher in Sierra Leone with Voluntary Service Overseas.4 He lectured in Computer Science at the Mathematics Department of Queen Mary College from 1969 to 1975.4 That year he moved to Imperial College London, where he became a Senior Lecturer in the Department of Computer Science, and joined Robert Kowalski in setting up the logic programming group.6 He was a Visiting Associate Professor at University of California, Santa Cruz in 1977.4
In 1980, with colleague Frank McCabe, he founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for microcomputers (micro-Prolog) and to provide consultancy on expert systems and other logic programming applications.47 He was appointed Professor of Computational Logic at Imperial College in 1987.8
As a researcher, his key contributions have been in the field of logic programming.9 More recent research interests include multi-agent systems, cognitive robotics and multi-threading.10
Selected publications
Books
- Clark, K. L.; McCabe, Frank G. (1983). micro-PROLOG: Programming in Logic. Old Tappan, NJ: Prentice Hall Inc. ISBN 9780135812648.
Book chapters
- Clark, K. L. (1978). "Negation as Failure". In Gallaire, Hervé; Minker, Jack (eds.). Logic and Data Bases. Boston, MA: Springer. pp. 293–322. doi:10.1007/978-1-4684-3384-5_11.
Journal articles
- Clark, K. L.; Darlington, John (1980). "Algorithm classification through synthesis". The Computer Journal. 23 (1): 61–65.
- Clark, K. L.; Gregory, Steve (1986). "PARLOG: parallel programming in logic". ACM Transactions on Programming Languages and Systems. 8 (1): 1–49.
- Clark, K. L.; McCabe, Frank G. (2004). "Go!—A multi-paradigm programming language for implementing multi-threaded agents" (PDF). Annals of Mathematics and Artificial Intelligence. 41 (2): 171–206.
References
References
- Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. p. 723. ISBN 0-262-12156-5.
- "Results of Final Examinations held in June 1964". University of Durham Gazette Supplement. XI (New Series): 7. 30 September 1964. Retrieved 26 August 2024.
- "Durham University MathSoc". Facebook. 9 December 2015. Retrieved 16 May 2019.
Prof Clark graduated from our department in 1964 (Hatfield College), before embarking on a career in artificial intelligence and computational logic
- "Curriculum Vitae: Keith Leonard Clark" (PDF). AIST. 1984. pp. 4–5. Retrieved 3 September 2025.
- Predicate logic as a computational formalism (PhD thesis). University of London. 1980. Retrieved 9 January 2013.
- "talks@bham : Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Birmingham University. Retrieved 16 May 2019.
- "Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs". cse.cuhk.edu.hk. Chinese University of Hong Kong.
- "Prof. Keith Clark". INSTICC. 2018. Archived from the original on 3 September 2025. Retrieved 3 September 2025.
- Keith L. Clark at DBLP Bibliography Server
- "Keith Clark's Home Page". Retrieved 11 May 2023.