Nick Davies

Affiliation:  .
To reach:     electronic connection not known.

A First-Order Theory of Knowledge, Belief and Action.
Presented at: European Conf on Artificial Intelligence, 1992. Venue: Vienna, Austria, 3.8-7.8. Proceedings published by John Wiley & Sons. Topics: [knowledge]. Code: [N.Davies92A].

Towards a First Order Theory of Reasoning Agents.
Presented at: European Conf on Artificial Intelligence, 1990. Venue: Stockholm, Sweden, 6.8-10.8. Proceedings published by Pitman Publishing. Code: [N.Davies90A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.