N. J. Davies

According to our database, N. J. Davies authored at least 5 papers between 1990 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A Matrix-based Method for Analysing Stochastic Process Algebras.

Jeremy T. Bradley, N. J. Davies

Proceedings of the ICALP Workshops 2000, 2000

1997

Information Agents for the World Wide Web.

N. J. Davies, Richard Weeks, M. C. Revett

Proceedings of the Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, 1997

1993

Truth, modality and action.

N. J. Davies

PhD thesis, 1993

1992

A First Order Theory of Knowledge, Belief and Action.

N. J. Davies

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1990

Towards a First Order Theory of Reasoning Agents.

N. J. Davies

Proceedings of the 9th European Conference on Artificial Intelligence, 1990