The completeness and soundness of temporal theories

Zhao, H., Ma, J and Petridis, M (2008) The completeness and soundness of temporal theories In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 July, 2008, Patras, Greece.

Full text not available from this repository.


Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Subjects:G000 Computing and Mathematical Sciences > G400 Computing
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Computational Intelligence
ID Code:9697
Deposited By:editor cmis
Deposited On:17 Jan 2012 13:48
Last Modified:11 Apr 2012 14:34

Repository Staff Only: item control page