2008 |
49 | | 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 |
2007 |
48 | | Gulden Uchyigit,
Keith L. Clark:
GU METRIC - A New Feature Selection Algorithm for Text Categorization.
ICEIS (2) 2007: 399-402 |
47 | | Gulden Uchyigit,
Keith L. Clark,
Damien Coullon:
KEXPLORATOR - A 2D Map Exploration User Interface for Recommender Systems.
ICEIS (5) 2007: 223-228 |
46 | EE | Gulden Uchyigit,
Keith L. Clark:
A New Feature Selection Method for Text Classification.
IJPRAI 21(2): 423-438 (2007) |
45 | EE | Keith L. Clark,
Frank G. McCabe:
Ontology schema for an agent belief store.
International Journal of Man-Machine Studies 65(7): 640-658 (2007) |
2006 |
44 | EE | Keith L. Clark,
Frank G. McCabe:
Ontology oriented programming in go!.
Appl. Intell. 24(3): 189-204 (2006) |
2005 |
43 | EE | Keith L. Clark,
Peter J. Robinson,
Silvana Zappacosta-Amboldi:
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).
CLIMA VI 2005: 186-205 |
42 | | Dorian Gaertner,
Keith L. Clark:
On Optimal Parameters for Ant Colony Optimization Algorithms.
IC-AI 2005: 83-89 |
2004 |
41 | EE | Tzone I. Wang,
Keith L. Clark:
Distributed Logic Programming using Mobile Agents.
AINA (2) 2004: 137-142 |
40 | | Theodore W. Hong,
Keith L. Clark:
Towards a Universal Web Wrapper.
FLAIRS Conference 2004 |
39 | EE | Gulden Uchyigit,
Keith L. Clark:
Hierarchical Agglomerative Clustering for Agent-Based Dynamic Collaborative Filtering.
IDEAL 2004: 827-832 |
38 | EE | 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) |
37 | EE | Keith L. Clark,
Peter J. Robinson,
Richard Hagen:
Multi-Threading And Message Communication In Qu-Prolog
CoRR cs.PL/0404052: (2004) |
2003 |
36 | EE | Keith L. Clark,
Francis G. McCabe:
Go! for multi-threaded deliberative agents.
AAMAS 2003: 964-965 |
35 | EE | Keith L. Clark,
Francis G. McCabe:
Go! for Multi-Threaded Deliberative Agents.
DALT 2003: 54-75 |
34 | | Gulden Uchyigit,
Keith L. Clark:
A Multi-Agent Architecture for Dynamic Collaborative Filtering.
ICEIS (4) 2003: 363-368 |
33 | | Gulden Uchyigit,
Keith L. Clark:
Dynamic Collaborative Filtering for the World Wide Web.
ICWI 2003: 953-956 |
32 | EE | 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 |
31 | EE | Gulden Uchyigit,
Keith L. Clark:
Agents That Model and Learn User Interests for Dynamic Collaborative Filtering.
CIA 2002: 152-163 |
30 | EE | Keith L. Clark,
Peter J. Robinson:
Agents as Multi-threaded Logical Objects.
Computational Logic: Logic Programming and Beyond 2002: 33-65 |
29 | EE | Peter J. Robinson,
Michael G. Hinchey,
Keith L. Clark:
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.
FAABS 2002: 162-172 |
28 | EE | Nikolaos Skarmeas,
Keith L. Clark:
Component Based Agent Construction.
International Journal on Artificial Intelligence Tools 11(1): 139-163 (2002) |
2001 |
27 | EE | Dimitris Vyzovitis,
Keith L. Clark:
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities.
ISADS 2001: 263-270 |
26 | EE | Theodore W. Hong,
Keith L. Clark:
Using Grammatical Inference to Automate Information Extraction from the Web.
PKDD 2001: 216-227 |
25 | | Keith L. Clark,
Peter J. Robinson,
Richard Hagen:
Multi-threading and Message Communication in Qu-Prolog.
TPLP 1(3): 283-301 (2001) |
1998 |
24 | | Nikolaos Skarmeas,
Keith L. Clark:
Content-Based Routing as the Basis for Intra-Agent Communication.
ATAL 1998: 345-362 |
23 | EE | Vasilios S. Lazarou,
Keith L. Clark:
Agents for Hypermedia Information Discovery.
CIA 1998: 21-32 |
22 | | Keith L. Clark,
Peter J. Robinson,
Richard Hagen:
Programming Internet Based DAI Applications in Qu-Prolog.
DAI 1998: 137-151 |
1997 |
21 | EE | Keith L. Clark,
Vasilios S. Lazarou:
A Multi-Agent System for Distributed Information Retrieval on the World Wide Web.
WETICE 1997: 87-93 |
1996 |
20 | EE | Keith L. Clark,
Tzone I. Wang:
Highly Concurrent Distributed Knowledge Objects.
COOTS 1996 |
19 | | Ho-Fung Leung,
Keith L. Clark:
Constraint Satisfaction in Distributed Concurrent Logic Programming.
J. Symb. Comput. 21(4): 699-714 (1996) |
1995 |
18 | | Keith L. Clark,
Frank G. McCabe:
Distributed and Object Oriented Symbolic Programming in April.
OBPDC 1995: 104-124 |
1994 |
17 | | Frank G. McCabe,
Keith L. Clark:
April - Agent PRocess Interaction Language.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 324-340 |
1992 |
16 | | Paul de Greef,
Keith L. Clark,
Frank G. McCabe:
Towards a Specification Language for Cooperation Methods.
GWAI 1992: 313-319 |
1991 |
15 | | Keith L. Clark:
Logic-Programming Schemes and Their Implementation.
Computational Logic - Essays in Honor of Alan Robinson 1991: 487-541 |
1990 |
14 | | Keith L. Clark:
Parallel Logic Programming.
Comput. J. 33(6): 482-493 (1990) |
1988 |
13 | | Keith L. Clark:
Logic Programming Schemes.
FGCS 1988: 120-139 |
12 | EE | Keith L. Clark:
PARLOG and Its Applications.
IEEE Trans. Software Eng. 14(12): 1792-1804 (1988) |
1987 |
11 | | Keith L. Clark,
Steve Gregory:
PARLOG and PROLOG United.
ICLP 1987: 927-961 |
10 | | Keith L. Clark:
PARLOG: The Language and Its Applications.
PARLE (2) 1987: 30-53 |
9 | | Keith L. Clark,
Ian T. Foster:
A Declarative Environment for Concurrent Logic Programming.
TAPSOFT, Vol.2 1987: 212-242 |
1986 |
8 | EE | Keith L. Clark,
Steve Gregory:
Parlog: Parallel Programming in Logic.
ACM Trans. Program. Lang. Syst. 8(1): 1-49 (1986) |
1985 |
7 | | Keith L. Clark,
Steve Gregory:
Notes on the Implementation of Parlog.
J. Log. Program. 2(1): 17-42 (1985) |
1984 |
6 | | Keith L. Clark,
Steve Gregory:
Notes on System Programming in Parlog.
FGCS 1984: 299-306 |
1981 |
5 | | Keith L. Clark,
Maarten H. van Emden:
Consequence Verification of Flowcharts.
IEEE Trans. Software Eng. 7(1): 52-60 (1981) |
1980 |
4 | | Keith L. Clark,
John Darlington:
Algorithm Classification Through Synthesis.
Comput. J. 23(1): 61-65 (1980) |
1977 |
3 | | Keith L. Clark,
Sten-Åke Tärnlund:
A First Order Theory of Data and Programs.
IFIP Congress 1977: 939-944 |
2 | | Keith L. Clark,
Sharon Sickel:
Predicate Logic: A Calculus for the Formal Derivation of Programs.
IJCAI 1977: 419-420 |
1 | | Keith L. Clark:
Negation as Failure.
Logic and Data Bases 1977: 293-322 |