Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Keith Clark (computer scientist)
open-in-new
<h2 id="education">Education</h2> <p>Clark studied Mathematics at <a href="/facts/Durham_University/VJHcWdkh">Durham University</a> (<a href="/facts/Hatfield_College,_Durham/t24MTe8m">Hatfield College</a>), graduating in 1964 with a <a href="/facts/British_undergraduate_degree_classification/fPs3fpsu">first-class degree</a>.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a><a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> Clark then continued his studies at <a href="/facts/Cambridge_University/0la7aX9o">Cambridge University</a>, taking a second undergraduate degree in Philosophy in 1966.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> He earned a <a href="/facts/Doctor_of_Philosophy/paJumdN8">Ph.D.</a> in 1980 from the <a href="/facts/University_of_London/spIRAx9B">University of London</a> with thesis titled <i>Predicate logic as a computational formalism</i>.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> </p> <h2 id="career">Career</h2> <p>Clark undertook <a href="/facts/Voluntary_Service_Overseas/ggYmGobS">Voluntary Service Overseas</a> from 1967 to 1968 as a teacher of Mathematics at a school in <a href="/facts/Sierra_Leone/gWP9YL0v">Sierra Leone</a>.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> He lectured in Computer Science at the Mathematics Department of <a href="/facts/Queen_Mary,_University_of_London/j7FHapKf">Queen Mary College</a> from 1969 to 1975. In 1975 he moved to <a href="/facts/Imperial_College_London/SoXBRyax">Imperial College London</a>, where he became a Senior Lecturer in the Department of Computer Science and joined <a href="/facts/Robert_Kowalski/vT4Npm2x">Robert Kowalski</a> in setting up the <a href="/facts/Logic_programming/Xgh8lj3F">logic programming</a> group.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> From 1987 to 2009 he was Professor of Computational Logic at Imperial College.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> </p><p>Clark's key contributions have been in the field of <a href="/facts/Logic_programming/Xgh8lj3F">logic programming</a>.<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> His current research interests include <a href="/facts/Multi-agent_system/A85vt3UA">multi-agent systems</a>, <a href="/facts/Cognitive_robotics/EIldbn9j">cognitive robotics</a> and <a href="/facts/Multithreading_(computer_architecture)/ojEKsSNP">multi-threading</a>.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> </p> <h2 id="business-interests">Business Interests</h2> <p>In 1980, with colleague Frank McCabe, he founded an Imperial College spin-off company, <a href="/facts/Logic_Programming_Associates/Axu9QT3A">Logic Programming Associates</a>, to develop and market <a href="/facts/Prolog/r5h66Qh1">Prolog</a> systems for <a href="/facts/Microcomputer/ETW22UTv">microcomputers</a> (micro-Prolog) and to provide consultancy on <a href="/facts/Expert_system/CUCzSEaX">expert systems</a> and other logic programming applications.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a><a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a> The company's star product was MacProlog. It had a user interface exploiting all the graphic user interface primitives of the Mac's OS, and primitives allowing bespoke Prolog-based applications to be built with application specific interfaces. Clark has also acted as a consultant to <a href="/facts/IBM/QszA7nwd">IBM</a>, <a href="/facts/Hewlett-Packard/abuNSYNu">Hewlett-Packard</a> and <a href="/facts/Fujitsu/6e5gvNSa">Fujitsu</a> among other companies.<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> </p> <h2 id="selected-publications">Selected publications</h2> <ul><li>K. L. Clark, D. Cowell, <i>Programs, Machines and Computation</i>, <a href="/facts/McGraw-Hill/oG8VpKJT">McGraw-Hill</a>, London, 1976.</li> <li>K. L. Clark, S-A. Tarnlund, A first order theory of data and programs, <i>Proc. IFIP Congress</i>, Toronto, 939–944 pp, 1977.</li> <li>K. L. Clark, Negation as failure, <i>Logic and Data Bases</i> (eds. Gallaire & Minker) <a href="/facts/Plenum_Press/nAesf6nT">Plenum Press</a>, New York, 293–322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), <a href="/facts/Morgan_Kaufmann/HfefrWju">Morgan Kaufmann</a>, 311–325, 1987.)</li> <li>K. L. Clark, S. Gregory, A relational language for parallel programming, <i>Proc. ACM Conference on Functional Languages and Computer Architecture</i>, ACM, New York, 171–178 pp, 1981. (Also in Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)</li> <li>K. L. Clark, S-A. Tarnlund (eds), <i>Logic Programming</i>, <a href="/facts/Academic_Press/qxoKjzFy">Academic Press</a>, London, 1982.</li> <li>K. L. Clark, F. G. McCabe, <i>micro-PROLOG: Programming in Logic</i>, <a href="/facts/Prentice-Hall/bynWAuat">Prentice-Hall</a> International, 1984.</li> <li>K. L. Clark, I. Foster, A Declarative Environment for Concurrent Logic Programming, Proceedings of Colloquium on Functional and Logic Programming and Specification, LNCS 250, Springer-Verlag, 212 - 242 pp, 1987</li> <li>K. L. Clark, Logic Programming Schemes and their Implementations, Computational Logic (ed Lassez and Plotkin), MIT Press, 1991.</li> <li>F.G. McCabe, K. L. Clark, April — Agent process interaction language, in <i>Intelligent Agents</i>, (ed N. Jennings, M. Wooldridge), <a href="/facts/LNAI/1UeA77BC">LNAI</a>, Vol. 890, <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>, 1995.</li> <li>N. Skarmeas, K. L. Clark, Content based routing as the basis for intra-agent communication, Proceedings of International WS on Agent Theories, Architectures and Languages 98, Intelligent Agents V, (ed. J. P. Muler et al.), Springer-Verlag, LNAI 1555, 1999 (best paper award).</li> <li>K. L. Clark, Logic Programming Languages, <i>Encyclopedia of Computer Science</i>, (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024–1031, <a href="/facts/Nature_Publishing_Group/eTRtG9m7">Nature Publishing Group</a>, 2000.</li> <li>K. L. Clark and F. McCabe, Go! — A Multi-paradigm Programming Language for Implementing Multi-threaded Agents, <i>Annals of Mathematics and Artificial Intelligence</i>, 41(2–4):171–206, August 2004.</li> <li>T. Hong and K. L. Clark, Towards a Universal Web Wrapper, Proceedings of the 17th International FLAIRS Conference, AAAI Press, 2004.</li> <li>K. L. Clark and F. McCabe, Ontology schema for an agent belief store, International Journal of Human-Computer Studies, 65(7), July 2007, Pages 640–658.</li> <li>K. L. Clark, P. Robinson, S. Zappacosta Amboldi, Multi-threaded communicating agents in Qu-Prolog, Computational Logic in Multi-agent systems (ed. <a href="/facts/Francesca_Toni/DhgTnNHd">F Toni</a> and P. Torroni), LNAI Vol. 3900, pp 186–205, 2006.</li> <li>S. Coffey and K. L. Clark, A Hybrid, Teleo-Reactive Architecture for Robot Control, Proceedings of the Second International Workshop on Multi-Agent Robotic Systems (MARS-06), 2006.</li> <li>D. Gaertner, K. L. Clark, M. Sergot, Ballroom etiquette: a case study for norm-governed multi-agent systems, Proceedings of AAMAS06 Workshop on Coordination, Organization, Institutions and Norms in agent systems, LNCS 4386, Springer, 2006.</li> <li>J. Knottenbelt, K. L. Clark, Contract Related Agents, Computational Logic in Multi-agent systems (ed <a href="/facts/Francesca_Toni/DhgTnNHd">F Toni</a> and P. Torroni), LNAI Vol. 3900, pp 226–242, 2006.</li> <li>J. Ma, A. Russo, K. Broda, K. L. Clark, DARE: A System for Distributed Abductive Reasoning, Autonomous Agents and Multi-agent Systems Journal, 16(3), Springer, June, 2008.</li> <li>P. J. Robinson, K. L. Clark, Pedro: A Publish/Subscribe Server Using Prolog Technology, Software: Practice and Experience, 40(4) pp 313–329, Wiley, 2010.</li> <li>K. L. Clark, P. J. Robinson, Robotic agent programming in TeleoR, Proceedings of International Conference on Robotics and Automation, IEEE, May 2015.</li> <li>K. Clark, B. Hengst, M. Pagnucco, D. Rajaratnam, P. Robinson, C. Sammut, M. Thielscher, A Framework for Integrating Symbolic and Sub-Symbolic Representations, Proceedings of International Joint Conferences on Artificial Intelligence 2016, New York, AAAI Press, July 2016.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.doc.ic.ac.uk/~klc/">Keith Clark homepage</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 0-262-12156-5. <a href="0-262-12156-5" target="_blank">0-262-12156-5</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"Results of Final Examinations held in June 1964". University of Durham Gazette Supplement. XI (New Series): 7. 30 September 1964. Retrieved 26 August 2024. <a href="https://iiif.durham.ac.uk/jalava/#index/t1c3197xm04q/t1c7p88cg551/t2cdn39x1522/t1ckk91fk568!t1mfn106z60f/t1mfn106z60f_t1tcj82kn29g" target="_blank">https://iiif.durham.ac.uk/jalava/#index/t1c3197xm04q/t1c7p88cg551/t2cdn39x1522/t1ckk91fk568!t1mfn106z60f/t1mfn106z60f_t1tcj82kn29g</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"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 <a href="https://www.facebook.com/mathsocdurham/posts/1685156745029752" target="_blank">https://www.facebook.com/mathsocdurham/posts/1685156745029752</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"Predicate logic as a computational formalism". University of London. Retrieved 9 January 2013. <a href="http://whatsinthe.library.qmul.ac.uk/index?N=0&Nr=p_catalog_code%3Aa213252" target="_blank">http://whatsinthe.library.qmul.ac.uk/index?N=0&Nr=p_catalog_code%3Aa213252</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>"talks@bham : Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Birmingham University. Retrieved 16 May 2019. <a href="http://talks.bham.ac.uk/talk/index/2747" target="_blank">http://talks.bham.ac.uk/talk/index/2747</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Keith L. Clark at DBLP Bibliography Server <a href="https://dblp.org/pid/c/KeithLClark" target="_blank">https://dblp.org/pid/c/KeithLClark</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>"Keith Clark's Home Page". Retrieved 11 May 2023. <a href="https://www.doc.ic.ac.uk/~klc/" target="_blank">https://www.doc.ic.ac.uk/~klc/</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>"Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs". cse.cuhk.edu.hk. Chinese University of Hong Kong. <a href="https://www.cse.cuhk.edu.hk/en/events/1301-temporal-logic-semantics-for-teleo-reactive-robotic-agent-programs" target="_blank">https://www.cse.cuhk.edu.hk/en/events/1301-temporal-logic-semantics-for-teleo-reactive-robotic-agent-programs</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>"Keith Clark CV" (PDF). June 2018. Retrieved 16 May 2019. <a href="https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0" target="_blank">https://www.cnr.it/sigla/genericdownload/CV_Prof%20Clark.pdf?nodeRef=f7a169ed-8772-42f0-ab53-d63b403e28d8;1.0</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> </ol>