Keith L. Clark

According to our database, Keith L. Clark authored at least 58 papers between 1977 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Concurrent Task Programming of Robotic Agents in TeleoR.

Keith L. Clark, Peter J. Robinson

Proceedings of the Doctoral Consortium, 2017

2015

Robotic agent programming in TeleoR.

Keith L. Clark, Peter J. Robinson

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2010

Pedro: a publish/subscribe server using Prolog technology.

Peter J. Robinson, Keith L. Clark

Softw. Pract. Exp., 2010

2008

An Experimental Study of Feature Selection Methods for Text Classification.

Gulden Uchyigit, Keith L. Clark

Proceedings of the Personalization Techniques and Recommender Systems, 2008

Describing Cryptobiosis as a Time Based Protection System Using Petri Nets.

Bengt Carlsson, K. Ingemar Jönsson, Keith L. Clark

Proceedings of the First International Conference on Biomedical Electronics and Devices, 2008

2007

A New Feature Selection Method for Text Classification.

Gulden Uchyigit, Keith L. Clark

Int. J. Pattern Recognit. Artif. Intell., 2007

Ontology schema for an agent belief store.

Keith L. Clark, Frank G. McCabe

Int. J. Hum. Comput. Stud., 2007

KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems.

Gulden Uchyigit, Keith L. Clark, Damien Coullon

Proceedings of the ICEIS 2007, 2007

GU METRIC - A New Feature Selection Algorithm for Text Categorization.

Gulden Uchyigit, Keith L. Clark

Proceedings of the ICEIS 2007, 2007

2006

Ontology oriented programming in go!.

Keith L. Clark, Frank G. McCabe

Appl. Intell., 2006

<i>Ballroom etiquette: </i> A Case Study for Norm-Governed Multi-Agent Systems.

Dorian Gaertner, Keith L. Clark, Marek J. Sergot

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

On Optimal Parameters for Ant Colony Optimization Algorithms.

Dorian Gaertner, Keith L. Clark

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).

Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents.

Keith L. Clark, Francis G. McCabe

Ann. Math. Artif. Intell., 2004

Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering.

Gulden Uchyigit, Keith L. Clark

Proceedings of the Intelligent Data Engineering and Automated Learning, 2004

Towards a Universal Web Wrapper.

Theodore W. Hong, Keith L. Clark

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Distributed Logic Programming using Mobile Agents.

Tzone I. Wang, Keith L. Clark

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

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

Proceedings of the Multi-Agent for Mass User Support, International Workshop, 2003

A Multi-Agent Architecture for Dynamic Collaborative Filtering.

Gulden Uchyigit, Keith L. Clark

Proceedings of the ICEIS 2003, 2003

Dynamic Collaborative Filtering for the World Wide Web.

Gulden Uchyigit, Keith L. Clark

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Go! for Multi-Threaded Deliberative Agents.

Keith L. Clark, Francis G. McCabe

Proceedings of the Declarative Agent Languages and Technologies, 2003

2002

Component Based Agent Construction.

Nikolaos Skarmeas, Keith L. Clark

Int. J. Artif. Intell. Tools, 2002

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.

Peter J. Robinson, Michael G. Hinchey, Keith L. Clark

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Agents That Model and Learn User Interests for Dynamic Collaborative Filtering.

Gulden Uchyigit, Keith L. Clark

Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

Agents as Multi-threaded Logical Objects.

Keith L. Clark, Peter J. Robinson

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Multi-threading and Message Communication in Qu-Prolog.

Keith L. Clark, Peter J. Robinson, Richard Hagen

Theory Pract. Log. Program., 2001

Using Grammatical Inference to Automate Information Extraction from the Web.

Theodore W. Hong, Keith L. Clark

Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001

A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities.

Dimitris Vyzovitis, Keith L. Clark

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

1998

Energy Saving and Added Customer Value in Intelligent Buildings.

Magnus Boman, Paul Davidsson, Nikolaos Skarmeas, Keith L. Clark, Rune Gustavsson

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

Programming Internet Based DAI Applications in Qu-Prolog.

Keith L. Clark, Peter J. Robinson, Richard Hagen

Proceedings of the Multi-Agent Systems: Theories, 1998

Agents for Hypermedia Information Discovery.

Vasilios S. Lazarou, Keith L. Clark

Proceedings of the Cooperative Information Agents II, 1998

Content-Based Routing as the Basis for Intra-Agent Communication.

Nikolaos Skarmeas, Keith L. Clark

Proceedings of the Intelligent Agents V, 1998

1997

A Multi-Agent System for Distributed Information Retrieval on the World Wide Web.

Keith L. Clark, Vasilios S. Lazarou

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

1996

Constraint Satisfaction in Distributed Concurrent Logic Programming.

Ho-fung Leung, Keith L. Clark

J. Symb. Comput., 1996

Highly Concurrent Distributed Knowledge Objects.

Keith L. Clark, Tzone I. Wang

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1996

1995

Distributed and Object Oriented Symbolic Programming in April.

Keith L. Clark, Frank G. McCabe

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1994

Constraint Solving in Distributed Concurrent Logic Programming.

Ho-fung Leung, Keith L. Clark

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

April - Agent PRocess Interaction Language.

Frank G. McCabe, Keith L. Clark

Proceedings of the Intelligent Agents, 1994

1993

I.C. Prolog II: a Multi-threaded Prolog System.

Damian Chu, Keith L. Clark

Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, 1993

1992

Towards a Specification Language for Cooperation Methods.

Paul de Greef, Keith L. Clark, Frank G. McCabe

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991

Logic-Programming Schemes and Their Implementation.

Keith L. Clark

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Parallel Logic Programming.

Keith L. Clark

Comput. J., 1990

1988

PARLOG and Its Applications.

Keith L. Clark

IEEE Trans. Software Eng., 1988

Logic Programming Schemes.

Keith L. Clark

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

A Declarative Environment for Concurrent Logic Programming.

Keith L. Clark, Ian T. Foster

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

PARLOG: The Language and Its Applications.

Keith L. Clark

Proceedings of the PARLE, 1987

PARLOG and PROLOG United.

Keith L. Clark, Steve Gregory

Proceedings of the Logic Programming, 1987

1986

Parlog: Parallel Programming in Logic.

Keith L. Clark, Steve Gregory

ACM Trans. Program. Lang. Syst., 1986

1985

Notes on the Implementation of Parlog.

Keith L. Clark, Steve Gregory

J. Log. Program., 1985

1984

Notes on System Programming in Parlog.

Keith L. Clark, Steve Gregory

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Micro-Prolog - programming in logic.

Keith L. Clark, Frank G. McCabe

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-581264-8, 1984

1981

Consequence Verification of Flowcharts.

Keith L. Clark, Maarten H. van Emden

IEEE Trans. Software Eng., 1981

A relational language for parallel programming.

Keith L. Clark, Steve Gregory

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Predicate logic as a computational formalism.

Keith L. Clark

PhD thesis, 1980

Algorithm Classification Through Synthesis.

Keith L. Clark, John Darlington

Comput. J., 1980

1977

Predicate Logic: A Calculus for the Formal Derivation of Programs.

Keith L. Clark, Sharon Sickel

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

A First Order Theory of Data and Programs.

Keith L. Clark, Sten-Åke Tärnlund

Proceedings of the Information Processing, 1977

Negation as Failure.

Keith L. Clark

Proceedings of the Logic and Data Bases, 1977