DocumentCode
1687122
Title
Proceedings 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003
fYear
2003
Abstract
The following topics are dealt with: temporal representation and reasoning in AI; time management in databases; temporal logic in computer science; and temporal logic theory.
Keywords
database theory; inference mechanisms; temporal logic; time management; computer science; database time management; reasoning in AI; temporal logic; temporal logic theory; temporal representation; Inference mechanisms; Temporal logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Conference_Location
Cairns, Qld., Australia
ISSN
1530-1311
Print_ISBN
0-7695-1912-1
Type
conf
DOI
10.1109/TIME.2003.1214870
Filename
1214870
Link To Document