Towards a First Order Theory of Reasoning Agents.

N. J. Davies

Browse the full ECAI paper archive.