TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning
Subtitle: and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia
By: sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.
Contributors: Reynolds, Mark; Sattar, Abdul, 1957-; Murdoch University.; Griffith University.; University of Western Australia.; International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)
Publisher: IEEE Computer Society Press
Published: 2003
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 223
Subjects: Artificial intelligence -- Congresses.; Reasoning -- Congresses.; Time -- Congresses.; Temporal databases -- Congresses.
Genres: Congresses.
Other titles: Temporal representation and reasoning; Temporal logic; International Workshop on Temporal Representation and Reasoning; Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.
Notes: Includes bibliographical references and author index.
"IEEE Computer Society Order Number PR01912"--T.p. verso.
Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.
Also available via the World Wide Web with additional title: Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.