The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2005)
Burlington, Vermont
June 23, 2005 to June 25, 2005
ISSN: 1530-1311
ISBN: 0-7695-2370-6
pp: 204-206
Logic and Computation Group , University of Liverpool
ABSTRACT
We provide an overview of the temporal research in the Logic and Computation Group at the University of Liverpool. While we cover both recent and current work, a more comprehensive document and list of references is available from the above web site or the web pages of individual group members.
INDEX TERMS
null
CITATION
Logic and Computation Group, "Time in Liverpool — An Overview of Temporal Research in the Logic and Computation Group", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 204-206, 2005, doi:10.1109/TIME.2005.38
79 ms
(Ver 3.3 (11022016))