N. J. Davies

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

University of Essex, UK (PHD)

Education History

University of Essex, UK

PHD

Publications

Jeremy T. Bradley, N. J. Davies
A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops (2000)
N. J. Davies, Richard Weeks, M. C. Revett
Information Agents for the World Wide Web. Software Agents and Soft Computing (1997)
N. J. Davies
A First Order Theory of Knowledge, Belief and Action. ECAI (1992)
N. J. Davies
Towards a First Order Theory of Reasoning Agents. ECAI (1990)