Keith Clark

For the bugler, see Keith Clark (bugler).
Keith L. Clark
Born 1943 (age 7172)
Nationality British
Fields Logic
Computer Science
Institutions Imperial College London
Uppsala University
University of Queensland
Alma mater Queen Mary, University of London
Thesis Predicate Logic as a Computational Formalism (1980)
Doctoral advisor Robert Kowalski
Doctoral students Ian Foster (1988)
Priscilla Lima (2000)
Known for Negation as failure
Concurrent logic programming
April
Go! Agent
Website
www.doc.ic.ac.uk/~klc/

Keith Leonard Clark (born 1943) is a Professor of Computer Science at Imperial College London, England. He has lectured in both mathematics and computer science.

Clark earnt a Ph.D. in 1980 from Queen Mary, University of London with thesis titled Predicate logic as a computational formalism.[1] Since 1979, Keith Clark has had an academic 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 (micro-Prolog) and to provide consultancy on expert systems and rule based applications.

Clark's key contributions have been in the field of logic programming.[2] 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.

More recently, Clark has been working on the April and Go! programming languages and their application to agent programming.

Selected publications

References

  1. "Predicate logic as a computational formalism". Queen Mary, University of London. Retrieved 9 January 2013.
  2. Keith Clark's publications indexed by the DBLP Bibliography Server at the University of Trier

External links