Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Keith_Clark> ?p ?o. }
Showing items 1 to 100 of
100
with 100 items per page.
- Keith_Clark abstract "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. 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.[citation needed] 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).[citation needed] 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. 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.[citation needed]".
- Keith_Clark almaMater Queen_Mary_University_of_London.
- Keith_Clark birthPlace United_Kingdom.
- Keith_Clark doctoralAdvisor Robert_Kowalski.
- Keith_Clark doctoralStudent Ian_Foster.
- Keith_Clark field Computer_science.
- Keith_Clark field Logic.
- Keith_Clark knownFor Concurrent_logic_programming.
- Keith_Clark knownFor Go!_(programming_language).
- Keith_Clark knownFor Negation_as_failure.
- Keith_Clark knownFor April_(programming_language).
- Keith_Clark viafId "230976030".
- Keith_Clark wikiPageExternalLink index?N=0&Nr=p_catalog_code%3Aa213252.
- Keith_Clark wikiPageExternalLink ~klc.
- Keith_Clark wikiPageID "6369702".
- Keith_Clark wikiPageRevisionID "595615690".
- Keith_Clark almaMater Queen_Mary_University_of_London.
- Keith_Clark doctoralAdvisor Robert_Kowalski.
- Keith_Clark doctoralStudents Ian_Foster.
- Keith_Clark doctoralStudents "Priscilla Lima".
- Keith_Clark field Computer_science.
- Keith_Clark field Logic.
- Keith_Clark hasPhotoCollection Keith_Clark.
- Keith_Clark imageSize "150".
- Keith_Clark knownFor Concurrent_logic_programming.
- Keith_Clark knownFor Negation_as_failure.
- Keith_Clark knownFor "Go! Agent".
- Keith_Clark knownFor April_(programming_language).
- Keith_Clark mgp "94036".
- Keith_Clark name "Clark, Keith".
- Keith_Clark name "Keith L. Clark".
- Keith_Clark nationality "British".
- Keith_Clark placeOfBirth United_Kingdom.
- Keith_Clark shortDescription "Computer scientist".
- Keith_Clark thesisTitle "Predicate Logic as a Computational Formalism".
- Keith_Clark thesisUrl index?N=0&Nr=p_catalog_code%3Aa213252.
- Keith_Clark thesisYear "1980".
- Keith_Clark viaf "230976030".
- Keith_Clark workInstitution Imperial_College_London.
- Keith_Clark workInstitution University_of_Queensland.
- Keith_Clark workInstitution Uppsala_University.
- Keith_Clark description "Computer scientist".
- Keith_Clark description "Computer scientist".
- Keith_Clark subject Category:Academics_of_Imperial_College_London.
- Keith_Clark subject Category:Alumni_of_Queen_Mary,_University_of_London.
- Keith_Clark subject Category:British_computer_scientists.
- Keith_Clark subject Category:Computer_science_writers.
- Keith_Clark subject Category:Living_people.
- Keith_Clark subject Category:Logic_programming_researchers.
- Keith_Clark subject Category:Year_of_birth_missing_(living_people).
- Keith_Clark type Academician109759069.
- Keith_Clark type AcademicsOfImperialCollegeLondon.
- Keith_Clark type Adult109605289.
- Keith_Clark type AlumniOfImperialCollegeLondon.
- Keith_Clark type Alumnus109786338.
- Keith_Clark type BritishComputerScientists.
- Keith_Clark type CausalAgent100007347.
- Keith_Clark type Communicator109610660.
- Keith_Clark type ComputerScienceWriters.
- Keith_Clark type ComputerScientist109951070.
- Keith_Clark type ComputerUser109951274.
- Keith_Clark type Educator110045713.
- Keith_Clark type Intellectual109621545.
- Keith_Clark type LivingPeople.
- Keith_Clark type LivingThing100004258.
- Keith_Clark type Object100002684.
- Keith_Clark type Organism100004475.
- Keith_Clark type Person100007846.
- Keith_Clark type PhysicalEntity100001930.
- Keith_Clark type Professional110480253.
- Keith_Clark type Scholar110557854.
- Keith_Clark type Scientist110560637.
- Keith_Clark type Whole100003553.
- Keith_Clark type Writer110794014.
- Keith_Clark type YagoLegalActor.
- Keith_Clark type YagoLegalActorGeo.
- Keith_Clark type Agent.
- Keith_Clark type Person.
- Keith_Clark type Scientist.
- Keith_Clark type Person.
- Keith_Clark type Scientist.
- Keith_Clark type Q215627.
- Keith_Clark type Q5.
- Keith_Clark type Agent.
- Keith_Clark type NaturalPerson.
- Keith_Clark type Thing.
- Keith_Clark type Person.
- Keith_Clark comment "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.".
- Keith_Clark label "Keith Clark".
- Keith_Clark sameAs m.0g2vhx.
- Keith_Clark sameAs Q6384200.
- Keith_Clark sameAs Q6384200.
- Keith_Clark sameAs Keith_Clark.
- Keith_Clark wasDerivedFrom Keith_Clark?oldid=595615690.
- Keith_Clark givenName "Keith".
- Keith_Clark isPrimaryTopicOf Keith_Clark.
- Keith_Clark name "Clark, Keith".
- Keith_Clark name "Keith Clark".
- Keith_Clark name "Keith L. Clark".
- Keith_Clark surname "Clark".