The completeness and soundness of temporal theories

H. Zhao, J. Ma, Miltiadis Petridis

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Original languageEnglish
Title of host publicationECAI-08 Workshop on Spatial and Temporal Reasoning
Pages46-57
Number of pages12
Publication statusPublished - 22 Jul 2008
EventECAI-08 Workshop on Spatial and Temporal Reasoning - Patras, Greece
Duration: 22 Jul 2008 → …

Workshop

WorkshopECAI-08 Workshop on Spatial and Temporal Reasoning
Period22/07/08 → …

Cite this

Zhao, H., Ma, J., & Petridis, M. (2008). The completeness and soundness of temporal theories. In ECAI-08 Workshop on Spatial and Temporal Reasoning (pp. 46-57)