Towards a First Order Theory of Reasoning Agents. - N. J. Davies (ECAI, 1990)

A First Order Theory of Knowledge, Belief and Action. - N. J. Davies (ECAI, 1992)

Truth, modality and action. - N. J. Davies (1993)

Information Agents for the World Wide Web. - N. J. Davies; Richard Weeks; M. C. Revett (Software Agents and Soft Computing, 1997)

A Matrix-based Method for Analysing Stochastic Process Algebras. - Jeremy T. Bradley; N. J. Davies (ICALP Satellite Workshops, 2000)