Keith L. Clark is a Professor of Computer Science at Imperial College London. He has lectured in both mathematics and computer science. Since 1979 he has had a tenured 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).

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:almaMater
dbpedia-owl:doctoralAdvisor
dbpedia-owl:thumbnail
dbpprop:abstract
  • Keith L. Clark is a Professor of Computer Science at Imperial College London. He has lectured in both mathematics and computer science. Since 1979 he has had a tenured 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 and to provide consultancy on expert systems and rule based applications. His key contributions have been in the field of logic programming. 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. Recently he has been working on the April and Go! Agent programming languages and their application to agent programming.
dbpprop:almaMater
dbpprop:doctoralAdvisor
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:imageWidth
  • 150px
dbpprop:knownFor
  • Negation as failure Concurrent logic programming April Go! Agent
dbpprop:name
  • Keith L. Clark
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Keith L. Clark is a Professor of Computer Science at Imperial College London. He has lectured in both mathematics and computer science. Since 1979 he has had a tenured 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).
rdfs:label
  • Keith Clark
owl:sameAs
skos:subject
foaf:depiction
foaf:name
  • Keith L. Clark
foaf:page
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is owl:sameAs of