HOME

TheInfoList



OR:

Keith Leonard Clark (born 29 March 1943) is an Emeritus Professor in the Department of Computing at
Imperial College London Imperial College London, also known as Imperial, is a Public university, public research university in London, England. Its history began with Prince Albert of Saxe-Coburg and Gotha, Prince Albert, husband of Queen Victoria, who envisioned a Al ...
,
England England is a Countries of the United Kingdom, country that is part of the United Kingdom. It is located on the island of Great Britain, of which it covers about 62%, and List of islands of England, more than 100 smaller adjacent islands. It ...
.


Education

Clark studied Mathematics at
Durham University Durham University (legally the University of Durham) is a collegiate university, collegiate public university, public research university in Durham, England, founded by an Act of Parliament (UK), Act of Parliament in 1832 and incorporated by r ...
( Hatfield College), graduating in 1964 with a first-class degree. Clark then continued his studies at
Cambridge University The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...
, taking a second undergraduate degree in Philosophy in 1966. He earned a Ph.D. in 1980 from the
University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in Post-nominal letters, post-nominals) is a collegiate university, federal Public university, public research university located in London, England, United Kingdom. The ...
with thesis titled ''Predicate logic as a computational formalism''.


Career

Clark undertook
Voluntary Service Overseas VSO is a not-for-profit international development organization charity with a vision for "a fair world for everyone" and a mission to "create lasting change through volunteering". VSO delivers development impact through a blended volunteer model c ...
from 1967 to 1968 as a teacher of Mathematics at a school in
Sierra Leone Sierra Leone, officially the Republic of Sierra Leone, is a country on the southwest coast of West Africa. It is bordered to the southeast by Liberia and by Guinea to the north. Sierra Leone's land area is . It has a tropical climate and envi ...
. He lectured in Computer Science at the Mathematics Department of Queen Mary College from 1969 to 1975. In 1975 he moved to
Imperial College London Imperial College London, also known as Imperial, is a Public university, public research university in London, England. Its history began with Prince Albert of Saxe-Coburg and Gotha, Prince Albert, husband of Queen Victoria, who envisioned a Al ...
, where he became a Senior Lecturer in the Department of Computer Science and joined Robert Kowalski in setting up the
logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
group. From 1987 to 2009 he was Professor of Computational Logic at Imperial College. Clark's key contributions have been in the field of
logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
. His current research interests include
multi-agent system A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.H. Pan; M. Zahmatkesh; F. Rekabi-Bana; F. Arvin; J. HuT-STAR: Time-Optimal Swarm Trajectory Planning for Quadroto ...
s, cognitive robotics and multi-threading.


Business Interests

In 1980, with colleague Frank McCabe, he founded an Imperial College spin-off company, Logic Programming Associates, to develop and market
Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog has its roots in first-order logic, a formal logic. Unlike many other programming language ...
systems for
microcomputer A microcomputer is a small, relatively inexpensive computer having a central processing unit (CPU) made out of a microprocessor. The computer also includes memory and input/output (I/O) circuitry together mounted on a printed circuit board (P ...
s (micro-Prolog) and to provide consultancy on
expert system In artificial intelligence (AI), an expert system is a computer system emulating the decision-making ability of a human expert. Expert systems are designed to solve complex problems by reasoning through bodies of knowledge, represented mainly as ...
s and other logic programming applications. 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
IBM International Business Machines Corporation (using the trademark IBM), nicknamed Big Blue, is an American Multinational corporation, multinational technology company headquartered in Armonk, New York, and present in over 175 countries. It is ...
,
Hewlett-Packard The Hewlett-Packard Company, commonly shortened to Hewlett-Packard ( ) or HP, was an American multinational information technology company. It was founded by Bill Hewlett and David Packard in 1939 in a one-car garage in Palo Alto, California ...
and Fujitsu among other companies.


Selected publications

* K. L. Clark, D. Cowell, ''Programs, Machines and Computation'',
McGraw-Hill McGraw Hill is an American education science company that provides educational content, software, and services for students and educators across various levels—from K-12 to higher education and professional settings. They produce textbooks, ...
, 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 Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...
, New York, 293–322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg),
Morgan Kaufmann Morgan Kaufmann Publishers is a Burlington, Massachusetts (San Francisco, California until 2008) based publisher specializing in computer science and engineering content. Since 1984, Morgan Kaufmann has been publishing contents on information te ...
, 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 Academic Press (AP) is an academic book publisher founded in 1941. It launched a British division in the 1950s. Academic Press was acquired by Harcourt, Brace & World in 1969. Reed Elsevier said in 2000 it would buy Harcourt, a deal complete ...
, London, 1982. * K. L. Clark, F. G. McCabe, ''micro-PROLOG: Programming in Logic'',
Prentice-Hall Prentice Hall was a major American educational publisher. It published print and digital content for the 6–12 and higher-education market. It was an independent company throughout the bulk of the twentieth century. In its last few years it ...
International, 1984. * 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 * K. L. Clark, Logic Programming Schemes and their Implementations, Computational Logic (ed Lassez and Plotkin), MIT Press, 1991. * F.G. McCabe, K. L. Clark, April — Agent process interaction language, in ''Intelligent Agents'', (ed N. Jennings, M. Wooldridge), LNAI, Vol. 890,
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...
, 1995. * 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). * K. L. Clark, Logic Programming Languages, ''Encyclopedia of Computer Science'', (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024–1031,
Nature Publishing Group Nature Portfolio (formerly known as Nature Publishing Group and Nature Research) is a division of the international scientific publishing company Springer Nature that publishes academic journals, magazines, online databases, and services in scien ...
, 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. * T. Hong and K. L. Clark, Towards a Universal Web Wrapper, Proceedings of the 17th International FLAIRS Conference, AAAI Press, 2004. * 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. * K. L. Clark, P. Robinson, S. Zappacosta Amboldi, Multi-threaded communicating agents in Qu-Prolog, Computational Logic in Multi-agent systems (ed. F Toni and P. Torroni), LNAI Vol. 3900, pp 186–205, 2006. * 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. * 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. * J. Knottenbelt, K. L. Clark, Contract Related Agents, Computational Logic in Multi-agent systems (ed F Toni and P. Torroni), LNAI Vol. 3900, pp 226–242, 2006. * 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. * 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. * K. L. Clark, P. J. Robinson, Robotic agent programming in TeleoR, Proceedings of International Conference on Robotics and Automation, IEEE, May 2015. * 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.


References


External links


Keith Clark homepage
{{DEFAULTSORT:Clark, Keith 1943 births Academics of the Department of Computing, Imperial College London Alumni of Hatfield College, Durham Alumni of the University of Cambridge British computer scientists Computer science writers Living people Logic programming researchers