![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Keith L. Clark
Person information
- affiliation: Imperial College London, UK
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c42]Keith L. Clark, Peter J. Robinson:
Concurrent Task Programming of Robotic Agents in TeleoR. RuleML+RR (Supplement) 2017 - 2015
- [c41]Keith L. Clark, Peter J. Robinson:
Robotic agent programming in TeleoR. ICRA 2015: 5040-5047 - 2010
- [j14]Peter J. Robinson, Keith L. Clark:
Pedro: a publish/subscribe server using Prolog technology. Softw. Pract. Exp. 40(4): 313-329 (2010)
2000 – 2009
- 2008
- [c40]Bengt Carlsson, K. Ingemar Jönsson, Keith L. Clark:
Describing Cryptobiosis as a Time Based Protection System Using Petri Nets. BIOSIGNALS (1) 2008: 281-285 - [p1]Gulden Uchyigit, Keith L. Clark:
An Experimental Study of Feature Selection Methods for Text Classification. Personalization Techniques and Recommender Systems 2008: 303- - 2007
- [j13]Keith L. Clark, Frank G. McCabe:
Ontology schema for an agent belief store. Int. J. Hum. Comput. Stud. 65(7): 640-658 (2007) - [j12]Gulden Uchyigit, Keith L. Clark:
A New Feature Selection Method for Text Classification. Int. J. Pattern Recognit. Artif. Intell. 21(2): 423-438 (2007) - [c39]Gulden Uchyigit, Keith L. Clark, Damien Coullon:
KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems. ICEIS (5) 2007: 223-228 - [c38]Gulden Uchyigit, Keith L. Clark:
GU METRIC - A New Feature Selection Algorithm for Text Categorization. ICEIS (2) 2007: 399-402 - 2006
- [j11]Keith L. Clark, Frank G. McCabe:
Ontology oriented programming in go!. Appl. Intell. 24(3): 189-204 (2006) - [c37]Dorian Gaertner, Keith L. Clark, Marek J. Sergot:
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems. COIN@AAMAS/ECAI 2006: 212-226 - 2005
- [c36]Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi:
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA 2005: 186-205 - [c35]Dorian Gaertner, Keith L. Clark:
On Optimal Parameters for Ant Colony Optimization Algorithms. IC-AI 2005: 83-89 - 2004
- [j10]Keith L. Clark, Francis G. McCabe:
Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents. Ann. Math. Artif. Intell. 41(2-4): 171-206 (2004) - [c34]Tzone I. Wang, Keith L. Clark:
Distributed Logic Programming using Mobile Agents. AINA (2) 2004: 137-142 - [c33]Theodore W. Hong, Keith L. Clark:
Towards a Universal Web Wrapper. FLAIRS 2004: 49-54 - [c32]Gulden Uchyigit, Keith L. Clark:
Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering. IDEAL 2004: 827-832 - [i1]Keith L. Clark, Peter J. Robinson, Richard Hagen:
Multi-Threading And Message Communication In Qu-Prolog. CoRR cs.PL/0404052 (2004) - 2003
- [c31]Keith L. Clark, Francis G. McCabe:
Go! for multi-threaded deliberative agents. AAMAS 2003: 964-965 - [c30]Keith L. Clark, Francis G. McCabe:
Go! for Multi-Threaded Deliberative Agents. DALT 2003: 54-75 - [c29]Gulden Uchyigit, Keith L. Clark:
Dynamic Collaborative Filtering for the World Wide Web. ICWI 2003: 953-956 - [c28]Gulden Uchyigit, Keith L. Clark:
A Multi-Agent Architecture for Dynamic Collaborative Filtering. ICEIS (4) 2003: 363-368 - [c27]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: 154-173 - 2002
- [j9]Nikolaos Skarmeas, Keith L. Clark:
Component Based Agent Construction. Int. J. Artif. Intell. Tools 11(1): 139-163 (2002) - [c26]Keith L. Clark, Peter J. Robinson:
Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond 2002: 33-65 - [c25]Gulden Uchyigit, Keith L. Clark:
Agents That Model and Learn User Interests for Dynamic Collaborative Filtering. CIA 2002: 152-163 - [c24]Peter J. Robinson, Michael G. Hinchey, Keith L. Clark:
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172 - 2001
- [j8]Keith L. Clark, Peter J. Robinson, Richard Hagen:
Multi-threading and Message Communication in Qu-Prolog. Theory Pract. Log. Program. 1(3): 283-301 (2001) - [c23]Dimitris Vyzovitis, Keith L. Clark:
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. ISADS 2001: 263-270 - [c22]Theodore W. Hong, Keith L. Clark:
Using Grammatical Inference to Automate Information Extraction from the Web. PKDD 2001: 216-227
1990 – 1999
- 1998
- [c21]Nikolaos Skarmeas, Keith L. Clark:
Content-Based Routing as the Basis for Intra-Agent Communication. ATAL 1998: 345-362 - [c20]Vasilios S. Lazarou, Keith L. Clark:
Agents for Hypermedia Information Discovery. CIA 1998: 21-32 - [c19]Keith L. Clark, Peter J. Robinson, Richard Hagen:
Programming Internet Based DAI Applications in Qu-Prolog. DAI 1998: 137-151 - [c18]Magnus Boman, Paul Davidsson, Nikolaos Skarmeas, Keith L. Clark, Rune Gustavsson:
Energy Saving and Added Customer Value in Intelligent Buildings. PAAM 1998: 505-516 - 1997
- [c17]Keith L. Clark, Vasilios S. Lazarou:
A Multi-Agent System for Distributed Information Retrieval on the World Wide Web. WETICE 1997: 87-93 - 1996
- [j7]Ho-fung Leung
, Keith L. Clark:
Constraint Satisfaction in Distributed Concurrent Logic Programming. J. Symb. Comput. 21(4): 699-714 (1996) - [c16]Keith L. Clark, Tzone I. Wang:
Highly Concurrent Distributed Knowledge Objects. COOTS 1996 - 1995
- [c15]Keith L. Clark, Frank G. McCabe:
Distributed and Object Oriented Symbolic Programming in April. OBPDC 1995: 104-124 - 1994
- [c14]Frank G. McCabe, Keith L. Clark:
April - Agent PRocess Interaction Language. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 324-340 - [c13]Ho-fung Leung, Keith L. Clark:
Constraint Solving in Distributed Concurrent Logic Programming. PASCO 1994: 273-283 - 1993
- [c12]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: 115-141 - 1992
- [c11]Paul de Greef, Keith L. Clark, Frank G. McCabe:
Towards a Specification Language for Cooperation Methods. GWAI 1992: 313-319 - 1991
- [c10]Keith L. Clark:
Logic-Programming Schemes and Their Implementation. Computational Logic - Essays in Honor of Alan Robinson 1991: 487-541 - 1990
- [j6]Keith L. Clark:
Parallel Logic Programming. Comput. J. 33(6): 482-493 (1990)
1980 – 1989
- 1988
- [j5]Keith L. Clark:
PARLOG and Its Applications. IEEE Trans. Software Eng. 14(12): 1792-1804 (1988) - [c9]Keith L. Clark:
Logic Programming Schemes. FGCS 1988: 120-139 - 1987
- [c8]Keith L. Clark, Steve Gregory:
PARLOG and PROLOG United. ICLP 1987: 927-961 - [c7]Keith L. Clark:
PARLOG: The Language and Its Applications. PARLE (2) 1987: 30-53 - [c6]Keith L. Clark, Ian T. Foster
:
A Declarative Environment for Concurrent Logic Programming. TAPSOFT, Vol.2 1987: 212-242 - 1986
- [j4]Keith L. Clark, Steve Gregory:
Parlog: Parallel Programming in Logic. ACM Trans. Program. Lang. Syst. 8(1): 1-49 (1986) - 1985
- [j3]Keith L. Clark, Steve Gregory:
Notes on the Implementation of Parlog. J. Log. Program. 2(1): 17-42 (1985) - 1984
- [b2]Keith L. Clark, Frank G. McCabe:
Micro-Prolog - programming in logic. Prentice Hall international series in computer science, Prentice Hall 1984, ISBN 978-0-13-581264-8, pp. I-XI, 1-401 - [c5]Keith L. Clark, Steve Gregory:
Notes on System Programming in Parlog. FGCS 1984: 299-306 - 1981
- [j2]Keith L. Clark, Maarten H. van Emden:
Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7(1): 52-60 (1981) - [c4]Keith L. Clark, Steve Gregory:
A relational language for parallel programming. FPCA 1981: 171-178 - 1980
- [b1]Keith L. Clark:
Predicate logic as a computational formalism. Queen Mary University of London, UK, 1980 - [j1]Keith L. Clark, John Darlington:
Algorithm Classification Through Synthesis. Comput. J. 23(1): 61-65 (1980)
1970 – 1979
- 1977
- [c3]Keith L. Clark:
Negation as Failure. Logic and Data Bases 1977: 293-322 - [c2]Keith L. Clark, Sten-Åke Tärnlund:
A First Order Theory of Data and Programs. IFIP Congress 1977: 939-944 - [c1]Keith L. Clark, Sharon Sickel:
Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI 1977: 419-420
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint