BRZEN
Keith Clark (computer scientist)
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
Keith L. Clark | |
|---|---|
| Born | March 29, 1943 |
| Education | |
| Scientific career | |
| Fields | |
| Workplaces | |
| 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.[2][3][4] 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.[4] In 1986, he became the first president of the newly founded Association for Logic Programming.[7] 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. In 1976, he presented work on negation as failure at a workshop on logic programming held at Imperial College, the results of which were published in a landmark paper in 1978.[9] He was the first to investigate negation as failure in the context of logic programs containing negative conditions, and developed a logical interpretation of how negation operated in such programs.[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.
- ———; Gregory, Steve (1986). "PARLOG: parallel programming in logic". ACM Transactions on Programming Languages and Systems. 8 (1): 1–49.
- ———; 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
- ↑ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic: Essays in Honor of Alan Robinson. Cambridge, Massachusetts: MIT Press. p. 723. ISBN 978-0-262-12156-9.
- ↑ "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
- 1 2 3 4 5 6 "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.
- ↑ Kowalski, Robert (June 2015). "A Short Story of My Life and Work". Imperial College London. Retrieved 23 August 2026.
- ↑ Kowalski, Robert A. (October 2004). "ALP History". Association for Logic Programming. Retrieved 23 August 2026.
- ↑ "Prof. Keith Clark". INSTICC. 2018. Archived from the original on 3 September 2025. Retrieved 3 September 2025.
- 1 2 Kowalski, Robert (2014). "Logic Programming". In Siekmann, Jörg H. (ed.). Computational Logic (PDF). Handbook of the History of Logic. Vol. 9. Elsevier. pp. 23–24.
- ↑ "Keith Clark's Home Page". Imperial College London. Retrieved 11 May 2023.
External links
- Keith Clark publications indexed by Google Scholar
