TIME 2015 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information. This unique and well-established event has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification.
Grandi, F., Lange, M., Lomuscio, A. (2015). Proceedings - TIME 2015 - 22nd International Symposium on Temporal Representation and Reasoning. Los Alamitos, CA : IEEE Computer Society Press [10.1109/TIME.2015.32].
Proceedings - TIME 2015 - 22nd International Symposium on Temporal Representation and Reasoning
GRANDI, FABIO;
2015
Abstract
TIME 2015 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information. This unique and well-established event has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
