Domain Logic Programming and EUCLID

• K. J Dryllerakis, M J Sergot, Representing Systems of Interactive Components in Euclid [,] (Extended Abstract; in Proceedings Math&AI-96, Florida 3-5 Jan 1996, USA) .
  Available also from Imperial College in Postscript format .
  See also my slides [,] and information on a seminar on the same subject (TRAIL seminars at IC)
• K. J Dryllerakis, The Language Euclid: a hypertext presentation
  1994
  first presented at the IC Logic Programming Section Web Server
• K. J Dryllerakis, Domain Logic Programming: Theory and Application to Scientific Knowledge Representation []. PhD Thesis, Department of Computing, Imperial College of Science Technology and Medicine.

Event Calculus in Costraint Logic Programming

• K. J Dryllerakis, Results from Implementing the Event Calculus in CLP(R) [,]
  (May 1992)
  Also available as DoC Technical Report 95/17.

Extending CLP with Residual SLDNF and Constructive Negation

• K. J Dryllerakis, Residual SLDNF in CLP languages [,]
  May 1992
  Also available as DoC Technical Report 95/18.

Physics and Logic Programming

• K. J Dryllerakis, Qualitative Reasoning about Physical Systems [,]
  MSc Thesis, Department of Computing, Imperial College, 1991
  Available also from Imperial College in Postscript format .
• K. J Dryllerakis, Newton-Cartan Spacetime [,]
  MSc Thesis, Department of Physics, Imperial College, 1990
  Available also from Imperial College in Postscript format .

Electronic Typesetting

• K. J Dryllerakis, In the company of TeX and Friends, or, Automating the processing of TeX Files,
  EYTYPON, No 2, pp. 71-76, April 1999 (ISSN 1108-4170)

Thematic Bibliographies

• K J Dryllerakis, A Contribution to Cretan Bibliography between the years 1524-1870. (request a preprint).

Comments & Criticism

• Letter to TIME Magazine.
• Comments to National Geographic Magazine.