N. J. Davies Towards a First Order Theory of Reasoning Agents. 195-200 1990 ECAI db/conf/ecai/ecai90.html#Davies90