European Colloquium on Spatial and Temporal Reasoning ECSTER
/brs/Kartha 95 A/ 30.10.1995
Neelakantan Kartha:
A Mathematical Investigation of Reasoning About Actions.
Ph.D. thesis, University of Texas at Austin, May 1995.
Availability and reference:
Available by anonymous ftp from ftp.cs.utexas.edu.
The relevant directory is pub/techreports and the file is
TR95-17.ps (compressed).
[ftp directory]
[postscript]
Author's comments:
(Open for contributions)
Debate:
(Open for contributions)