Keith Clark - Selected Publications

Selected Publications

• K. L. Clark, D. Cowell, Programs, Machines and Computation, McGraw-Hill, London, 1976.
• K. L. Clark, S-A. Tarnlund, A first order theory of data and programs, Proc. IFIP Congress, Toronto, 939–944 pp, 1977.
• K. L. Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press, New York, 293–322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), Morgan Kaufmann, 311–325, 1987.)
• K. L. Clark, S. Gregory, A relational language for parallel programming, Proc. ACM Conference on Functional Languages and Computer Architecture, ACM, New York, 171–178 pp, 1981. (Also in Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)
• K. L. Clark, S-A. Tarnlund (eds), Logic Programming, Academic Press, London, 1982.
• K. L. Clark, F. G. McCabe, micro-PROLOG: Programming in Logic, Prentice-Hall International, 1984.
• F.G. McCabe, K. L. Clark, April — Agent process interaction language, in Intelligent Agents, (ed N. Jennings, M. Wooldridge), LNAI, Vol. 890, Springer-Verlag, 1995.
• K. L. Clark, Logic Programming Languages, Encyclopedia of Computer Science, (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024–1031, Nature Publishing Group, 2000.
• K. L. Clark and F. McCabe, Go! — A Multi-paradigm Programming Language for Implementing Multi-threaded Agents, Annals of Mathematics and Artificial Intelligence, 41(2–4):171–206, August 2004.