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