Negation as Failure. - Keith L. Clark (Logic and Data Bases, 1977)

A First Order Theory of Data and Programs. - Keith L. Clark; Sten-Åke Tärnlund (IFIP Congress, 1977)

Predicate Logic: A Calculus for the Formal Derivation of Programs. - Keith L. Clark; Sharon Sickel (IJCAI, 1977)

Algorithm Classification Through Synthesis. - Keith L. Clark; John Darlington (Comput. J., 1980)

Predicate logic as a computational formalism. - Keith L. Clark (1980)

A relational language for parallel programming. - Keith L. Clark; Steve Gregory (FPCA, 1981)

Consequence Verification of Flowcharts. - Keith L. Clark; Maarten H. van Emden (IEEE Trans. Software Eng., 1981)

Micro-Prolog - programming in logic. - Keith L. Clark; Frank G. McCabe (Prentice Hall, 1984)

Notes on System Programming in Parlog. - Keith L. Clark; Steve Gregory (FGCS, 1984)

Notes on the Implementation of Parlog. - Keith L. Clark; Steve Gregory (J. Log. Program., 1985)

Parlog: Parallel Programming in Logic. - Keith L. Clark; Steve Gregory (ACM Trans. Program. Lang. Syst., 1986)

PARLOG and PROLOG United. - Keith L. Clark; Steve Gregory (ICLP, 1987)

PARLOG: The Language and Its Applications. - Keith L. Clark (PARLE (2), 1987)

A Declarative Environment for Concurrent Logic Programming. - Keith L. Clark; Ian T. Foster (TAPSOFT, Vol.2, 1987)

Logic Programming Schemes. - Keith L. Clark (FGCS, 1988)

PARLOG and Its Applications. - Keith L. Clark (IEEE Trans. Software Eng., 1988)

Parallel Logic Programming. - Keith L. Clark (Comput. J., 1990)

Logic-Programming Schemes and Their Implementation. - Keith L. Clark (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Towards a Specification Language for Cooperation Methods. - Paul de Greef; Keith L. Clark; Frank G. McCabe (GWAI, 1992)

I.C. Prolog II: a Multi-threaded Prolog System. - Damian Chu; Keith L. Clark (ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems, 1993)

April - Agent PRocess Interaction Language. - Frank G. McCabe; Keith L. Clark (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Constraint Solving in Distributed Concurrent Logic Programming. - Ho-fung Leung; Keith L. Clark (PASCO, 1994)

Distributed and Object Oriented Symbolic Programming in April. - Keith L. Clark; Frank G. McCabe (OBPDC, 1995)

Highly Concurrent Distributed Knowledge Objects. - Keith L. Clark; Tzone I. Wang (COOTS, 1996)

Constraint Satisfaction in Distributed Concurrent Logic Programming. - Ho-fung Leung; Keith L. Clark (J. Symb. Comput., 1996)

A Multi-Agent System for Distributed Information Retrieval on the World Wide Web. - Keith L. Clark; Vasilios S. Lazarou (WETICE, 1997)

Content-Based Routing as the Basis for Intra-Agent Communication. - Nikolaos Skarmeas; Keith L. Clark (ATAL, 1998)

Agents for Hypermedia Information Discovery. - Vasilios S. Lazarou; Keith L. Clark (CIA, 1998)

Programming Internet Based DAI Applications in Qu-Prolog. - Keith L. Clark; Peter J. Robinson 001; Richard Hagen (DAI, 1998)

Energy Saving and Added Customer Value in Intelligent Buildings. - Magnus Boman; Paul Davidsson; Nikolaos Skarmeas; Keith L. Clark; Rune Gustavsson (PAAM, 1998)

A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. - Dimitris Vyzovitis; Keith L. Clark (ISADS, 2001)

Using Grammatical Inference to Automate Information Extraction from the Web. - Theodore W. Hong; Keith L. Clark (PKDD, 2001)

Multi-threading and Message Communication in Qu-Prolog. - Keith L. Clark; Peter J. Robinson 001; Richard Hagen (Theory Pract. Log. Program., 2001)

Agents as Multi-threaded Logical Objects. - Keith L. Clark; Peter J. Robinson 001 (Computational Logic: Logic Programming and Beyond, 2002)

Agents That Model and Learn User Interests for Dynamic Collaborative Filtering. - Gulden Uchyigit; Keith L. Clark (CIA, 2002)

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. - Peter J. Robinson 001; Michael G. Hinchey; Keith L. Clark (FAABS, 2002)

Component Based Agent Construction. - Nikolaos Skarmeas; Keith L. Clark (Int. J. Artif. Intell. Tools, 2002)

Go! for Multi-Threaded Deliberative Agents. - Keith L. Clark; Francis G. McCabe (DALT, 2003)

Dynamic Collaborative Filtering for the World Wide Web. - Gulden Uchyigit; Keith L. Clark (ICWI, 2003)

A Multi-Agent Architecture for Dynamic Collaborative Filtering. - Gulden Uchyigit; Keith L. Clark (ICEIS (4), 2003)

Individual Digital Rights Management in Multi-agent Information Trading Societies. - Makoto Amamiya; Keith L. Clark; Tadashige Iwao; Frank G. McCabe; Makoto Okada; Jeremy Pitt (MAMUS, 2003)

Distributed Logic Programming using Mobile Agents. - Tzone I. Wang; Keith L. Clark (AINA (2), 2004)

Towards a Universal Web Wrapper. - Theodore W. Hong; Keith L. Clark (FLAIRS, 2004)

Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering. - Gulden Uchyigit; Keith L. Clark (IDEAL, 2004)

Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents. - Keith L. Clark; Francis G. McCabe (Ann. Math. Artif. Intell., 2004)

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). - Keith L. Clark; Peter J. Robinson 001; Silvana Zappacosta-Amboldi (CLIMA, 2005)

On Optimal Parameters for Ant Colony Optimization Algorithms. - Dorian Gaertner; Keith L. Clark (IC-AI, 2005)

Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems. - Dorian Gaertner; Keith L. Clark; Marek J. Sergot (COIN@AAMAS/ECAI, 2006)

Ontology oriented programming in go!. - Keith L. Clark; Frank G. McCabe (Appl. Intell., 2006)

GU METRIC - A New Feature Selection Algorithm for Text Categorization. - Gulden Uchyigit; Keith L. Clark (ICEIS (2), 2007)

KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems. - Gulden Uchyigit; Keith L. Clark; Damien Coullon (ICEIS (5), 2007)

Ontology schema for an agent belief store. - Keith L. Clark; Frank G. McCabe (Int. J. Hum. Comput. Stud., 2007)

A New Feature Selection Method for Text Classification. - Gulden Uchyigit; Keith L. Clark (Int. J. Pattern Recognit. Artif. Intell., 2007)

Describing Cryptobiosis as a Time Based Protection System Using Petri Nets. - Bengt Carlsson; K. Ingemar Jönsson; Keith L. Clark (BIOSIGNALS (1), 2008)

An Experimental Study of Feature Selection Methods for Text Classification. - Gulden Uchyigit; Keith L. Clark (Personalization Techniques and Recommender Systems, 2008)

Pedro: a publish/subscribe server using Prolog technology. - Peter J. Robinson 001; Keith L. Clark (Softw. Pract. Exp., 2010)

Robotic agent programming in TeleoR. - Keith L. Clark; Peter J. Robinson 001 (ICRA, 2015)

Concurrent Task Programming of Robotic Agents in TeleoR. - Keith L. Clark; Peter J. Robinson 001 (RuleML+RR (Supplement), 2017)