Keith L. Clark

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