Keith Clark | Academic Influence

Keith Clark 's AcademicInfluence.com Rankings

Keith Clark

Computer Science

#1018

World Rank

#1055

Historical Rank

Artificial Intelligence

#357

World Rank

#364

Historical Rank

Machine Learning

#1796

World Rank

#1819

Historical Rank

Database

#1794

World Rank

#1880

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Keith Clark 's Degrees

PhD Computer Science Stanford University
Bachelors Computer Science Carnegie Mellon University

Similar Degrees You Can Earn

Why Is Keith Clark Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Keith Leonard Clark is an Emeritus Professor in the Department of Computing at Imperial College London, England. Education Clark studied Mathematics at Durham University , graduating in 1964 with a first-class degree. Clark then continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966. He earned a Ph.D. in 1980 from the University of London with thesis titled Predicate logic as a computational formalism.

(See a Problem?)

Keith Clark 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Negation as Failure (1987) (1448)
PARLOG: parallel programming in logic (1986) (416)
Predicate logic as a computational formalism (1979) (182)
April - Agent PRocess Interaction Language (1995) (178)
A relational language for parallel programming (1981) (152)
A First Order Theory of Data and Programs (1977) (128)
Micro-Prolog - programming in logic (1984) (107)
On Optimal Parameters for Ant Colony Optimization Algorithms (2005) (104)
Algorithm Classification Through Synthesis (1980) (71)
Predicate logic: a calculus for deriving programs (1977) (52)
Energy Saving and Added Customer Value in Intelligent Buildings (1998) (49)
SAGE: A Logical Agent-Based Environment Monitoring and Control System (2009) (46)
Notes on the Implementation of Parlog (1985) (44)
Go! — A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents (2004) (43)
Using Grammatical Inference to Automate Information Extraction from the Web (2001) (42)
DARE: a system for distributed abductive reasoning (2008) (26)
Logic Programming (1982) (26)
Ontology schema for an agent belief store (2007) (26)
Multi-threading and message communication in Qu-Prolog (2001) (26)
Content-Based Routing as the Basis for Intra-Agent Communication (1998) (24)
I.C. Prolog II: a Multi-threaded Prolog System (1993) (24)
Contract-Related Agents (2005) (21)
Robotic agent programming in TeleoR (2015) (21)
Notes on System Programming in Parlog (1984) (20)
PARLOG and PROLOG United (1987) (19)
Go! for multi-threaded deliberative agents (2003) (18)
Logic-Programming Schemes and Their Implementation (1991) (18)
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems (2006) (17)
Ontology oriented programming in go! (2006) (17)
A multi-agent system for distributed information retrieval on the World Wide Web (1997) (17)
Component Based Agent Construction (2002) (16)
PARLOG: The Language and Its Applications (1987) (15)
A New Feature Selection Method for Text Classification (2007) (14)
Programs, machines, and computation : an introduction to the theory of computing (1976) (13)
PARLOG and Its Applications (1988) (13)
Towards a Specification Language for Cooperation Methods (1992) (12)
Consequence Verification of Flowcharts (1981) (11)
Predicate Logic: A Calculus for the Formal Derivation of Programs (1977) (11)
Logic Programming Schemes (1988) (11)
Mozart : A Programming System for Agent Applications (10)
Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering (2004) (10)
A Declarative Environment for Concurrent Logic Programming (1987) (9)
Agents as Clonable Objects with Knowledge Base State (1996) (9)
Agents for Hypermedia Information Discovery (1998) (9)
An Architecture For Contract-based Communicating Agents (2004) (8)
Pedro: a publish/subscribe server using Prolog technology (2010) (8)
Parallel Logic Programming (1990) (7)
A Personalised Multi-Modal Electronic Program Guide (7)
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities (2002) (7)
Programming Internet Based DAI Applications in Qu-Prolog (1998) (7)
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper) (2005) (7)
Agents as Multi-threaded Logical Objects (2002) (5)
A Multi-Agent Architecture for Dynamic Collaborative Filtering (2003) (5)
PROLOG: a language for implementing expert systems (2013) (5)
A Hybrid, Teleo-Reactive Architecture for Robot Control (2016) (4)
A Framework for Integrating Symbolic and Sub-Symbolic Representations (2016) (4)
Pedro: a publish-subscribe server using Prolog technology (2010) (4)
Distributed logic programming using mobile agents (2004) (3)
On the performance of proactive mobile IPv6 for context-aware all-IP wireless access networks (2006) (3)
Distributed Object Oriented Logic Programming as a tool for Enterprise Modelling (1996) (3)
Distributed and Object Oriented Symbolic Programming in April (1995) (3)
An Experimental Study of Feature Selection Methods for Text Classification (2008) (3)
Towards a Universal Web Wrapper (2004) (3)
Go!-a logic programming language for implementing multi-threaded agents (2003) (2)
Individual Digital Rights Management in Multi-agent Information Trading Societies (2003) (2)
Constraint Satisfaction in Distributed Concurrent Logic Programming (1996) (2)
A framework for developing reactive information agents with heterogeneous communication capabilities (2001) (2)
Agents That Model and Learn User Interests for Dynamic Collaborative Filtering (2002) (2)
Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents (2018) (1)
Contract Driven Agents (2005) (1)
A language for programming Internet wide multi-agent systems and mobile agents (1996) (1)
A mechanism for trusted agent-based workflow transport (2003) (1)
Logic Programming Applied to Numerical Integration. (1978) (1)
KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems (2007) (1)
Agent stha tLear nt oGiv ePersonalise dT VProgra mRecommendations (2002) (0)
Describing Cryptobiosis as a Time Based Protection System Using Petri Nets (2008) (0)
Constraint Solving in Distributed Concurrent Logic Programming (1994) (0)
Process Oriented ProgrammingforAgent Based Network (1996) (0)
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs (2019) (0)
On the performance of proactive mobile IPv6 for context-aware all-IP wireless access networks: Research Articles (2006) (0)
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots (2016) (0)
GU METRIC - A New Feature Selection Algorithm for Text Categorization (2007) (0)
A Dynamic System for Distributed Reasoning (2008) (0)
LPA'micro-prolog (1984) (0)
Baxter in blocks-world “ Mind ’ s Eye ” physics simulator A block and end-effector Camera (2016) (0)
Ordenadores, programas y procesos de cálculo (1978) (0)
Concurrent Task Programming of Robotic Agents in TeleoR (2017) (0)
Multi-threaded communicating agents in (2006) (0)
Highly Concurrent Distributed Knowledge Objects (1996) (0)
A Multi-Agent System for Distr ibuted Information Retr ieval on the Wor ld Wide Web (1997) (0)
A Multi-Agent System for Distr ibuted Information Retr ieval on the Wor ld Wide Web (1997) (0)
Agents that L earn to (2003) (0)
Dynamic Collaborative Filtering for the World Wide Web (2003) (0)

This paper list is powered by the following services:

Other Resources About Keith Clark

en.wikipedia.org

What Schools Are Affiliated With Keith Clark ?

Keith Clark is affiliated with the following schools: