Title :
Proceedings 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 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;
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Conference_Location :
Cairns, Qld., Australia
Print_ISBN :
0-7695-1912-1
DOI :
10.1109/TIME.2003.1214870
