Keith L. Clark

Publication Activity (10 Years)

Years Active: 1977-2017
Publications (10 Years): 2

Top Venues

ICRA

RuleML+RR (Supplement)

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

Keith L. Clark, Peter J. Robinson
Concurrent Task Programming of Robotic Agents in TeleoR. RuleML+RR (Supplement) (2017)
Keith L. Clark, Peter J. Robinson
Robotic agent programming in TeleoR. ICRA (2015)
Peter J. Robinson, Keith L. Clark
Pedro: a publish/subscribe server using Prolog technology. Softw. Pract. Exp. 40 (4) (2010)
Bengt Carlsson, K. Ingemar Jönsson, Keith L. Clark
Describing Cryptobiosis as a Time Based Protection System Using Petri Nets. BIOSIGNALS (1) (2008)
Gulden Uchyigit, Keith L. Clark
A New Feature Selection Method for Text Classification. Int. J. Pattern Recognit. Artif. Intell. 21 (2) (2007)
Gulden Uchyigit, Keith L. Clark, Damien Coullon
KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems. ICEIS (5) (2007)
Keith L. Clark, Frank G. McCabe
Ontology schema for an agent belief store. Int. J. Hum. Comput. Stud. 65 (7) (2007)
Gulden Uchyigit, Keith L. Clark
GU METRIC - A New Feature Selection Algorithm for Text Categorization. ICEIS (2) (2007)
Keith L. Clark, Frank G. McCabe
Ontology oriented programming in go!. Appl. Intell. 24 (3) (2006)
Dorian Gaertner, Keith L. Clark, Marek J. Sergot
A Case Study for Norm-Governed Multi-Agent Systems. COIN@AAMAS/ECAI (2006)
Dorian Gaertner, Keith L. Clark
On Optimal Parameters for Ant Colony Optimization Algorithms. IC-AI (2005)
Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA (2005)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-Threading And Message Communication In Qu-Prolog CoRR (2004)
Gulden Uchyigit, Keith L. Clark
Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering. IDEAL (2004)
Tzone I. Wang, Keith L. Clark
Distributed Logic Programming using Mobile Agents. AINA (2) (2004)
Theodore W. Hong, Keith L. Clark
Towards a Universal Web Wrapper. FLAIRS Conference (2004)
Keith L. Clark, Francis G. McCabe
Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Keith L. Clark, Francis G. McCabe
Go! for Multi-Threaded Deliberative Agents. DALT (2003)
Keith L. Clark, Francis G. McCabe
Go! for multi-threaded deliberative agents. AAMAS (2003)
Gulden Uchyigit, Keith L. Clark
A Multi-Agent Architecture for Dynamic Collaborative Filtering. ICEIS (4) (2003)
Makoto Amamiya, Keith L. Clark, Tadashige Iwao, Frank G. McCabe, Makoto Okada, Jeremy Pitt
Individual Digital Rights Management in Multi-agent Information Trading Societies. MAMUS (2003)
Gulden Uchyigit, Keith L. Clark
Dynamic Collaborative Filtering for the World Wide Web. ICWI (2003)
Peter J. Robinson, Michael G. Hinchey, Keith L. Clark
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS (2002)
Nikolaos Skarmeas, Keith L. Clark
Component Based Agent Construction. Int. J. Artif. Intell. Tools 11 (1) (2002)
Gulden Uchyigit, Keith L. Clark
Agents That Model and Learn User Interests for Dynamic Collaborative Filtering. CIA (2002)
Keith L. Clark, Peter J. Robinson
Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond (2002)
Theodore W. Hong, Keith L. Clark
Using Grammatical Inference to Automate Information Extraction from the Web. PKDD (2001)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-threading and Message Communication in Qu-Prolog. Theory Pract. Log. Program. 1 (3) (2001)
Dimitris Vyzovitis, Keith L. Clark
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. ISADS (2001)
Magnus Boman, Paul Davidsson, Nikolaos Skarmeas, Keith L. Clark, Rune Gustavsson
Energy Saving and Added Customer Value in Intelligent Buildings. PAAM (1998)
Nikolaos Skarmeas, Keith L. Clark
Content-Based Routing as the Basis for Intra-Agent Communication. ATAL (1998)
Vasilios S. Lazarou, Keith L. Clark
Agents for Hypermedia Information Discovery. CIA (1998)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Programming Internet Based DAI Applications in Qu-Prolog. DAI (1998)
Keith L. Clark, Vasilios S. Lazarou
A Multi-Agent System for Distributed Information Retrieval on the World Wide Web. WETICE (1997)
Keith L. Clark, Tzone I. Wang
Highly Concurrent Distributed Knowledge Objects. COOTS (1996)
Ho-fung Leung, Keith L. Clark
Constraint Satisfaction in Distributed Concurrent Logic Programming. J. Symb. Comput. 21 (4) (1996)
Keith L. Clark, Frank G. McCabe
Distributed and Object Oriented Symbolic Programming in April. OBPDC (1995)
Frank G. McCabe, Keith L. Clark
April - Agent PRocess Interaction Language. ECAI Workshop on Agent Theories, Architectures, and Languages (1994)
Ho-fung Leung, Keith L. Clark
Constraint Solving in Distributed Concurrent Logic Programming. PASCO (1994)
Damian Chu, Keith L. Clark
I.C. Prolog II: a Multi-threaded Prolog System. ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems (1993)
Paul de Greef, Keith L. Clark, Frank G. McCabe
Towards a Specification Language for Cooperation Methods. GWAI (1992)
Keith L. Clark
Logic-Programming Schemes and Their Implementation. Computational Logic - Essays in Honor of Alan Robinson (1991)
Keith L. Clark
Parallel Logic Programming. Comput. J. 33 (6) (1990)
Keith L. Clark
PARLOG and Its Applications. IEEE Trans. Software Eng. 14 (12) (1988)
Keith L. Clark
Logic Programming Schemes. FGCS (1988)
Keith L. Clark
PARLOG: The Language and Its Applications. PARLE (2) (1987)
Keith L. Clark, Steve Gregory
PARLOG and PROLOG United. ICLP (1987)
Keith L. Clark, Ian T. Foster
A Declarative Environment for Concurrent Logic Programming. TAPSOFT, Vol.2 (1987)
Keith L. Clark, Steve Gregory
Parlog: Parallel Programming in Logic. ACM Trans. Program. Lang. Syst. 8 (1) (1986)
Keith L. Clark, Steve Gregory
Notes on the Implementation of Parlog. J. Log. Program. 2 (1) (1985)
Keith L. Clark, Steve Gregory
Notes on System Programming in Parlog. FGCS (1984)
Keith L. Clark, Maarten H. van Emden
Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7 (1) (1981)
Keith L. Clark, Steve Gregory
A relational language for parallel programming. FPCA (1981)
Keith L. Clark, John Darlington
Algorithm Classification Through Synthesis. Comput. J. 23 (1) (1980)
Keith L. Clark, Sten-Åke Tärnlund
A First Order Theory of Data and Programs. IFIP Congress (1977)
Keith L. Clark
Negation as Failure. Logic and Data Bases (1977)
Keith L. Clark, Sharon Sickel
Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI (1977)

Keith L. Clark.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Keith L. Clark