-
4
-
-
0036839238
-
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
-
B. Bennett, A.G. Cohn, F. Wolter, and M. Zakharyaschev. Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 17(3):239-251, 2002.
-
(2002)
Applied Intelligence
, vol.17
, Issue.3
, pp. 239-251
-
-
Bennett, B.1
Cohn, A.G.2
Wolter, F.3
Zakharyaschev, M.4
-
8
-
-
35248873436
-
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics
-
Akmal B. Chaudhri, et al. (Eds.)
-
François Bry and Sebastian Schaffert. The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In Akmal B. Chaudhri, et al. (Eds.), Lecture Notes in Computer Science (LNCS) on Web, Web-Services, and Database Systems, pages 295-310, 2002.
-
(2002)
Lecture Notes in Computer Science (LNCS) on Web, Web-Services, and Database Systems
, pp. 295-310
-
-
Bry, F.1
Schaffert, S.2
-
10
-
-
0031413968
-
RCC: A calculus for region based qualitative spatial reasoning
-
A G Cohn, B Bennett, J M Gooday, and N Gotts. RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica, 1:275-316, 1997.
-
(1997)
GeoInformatica
, vol.1
, pp. 275-316
-
-
Cohn, A.G.1
Bennett, B.2
Gooday, J.M.3
Gotts, N.4
-
11
-
-
21744461579
-
Versions of Integrity Constraints in Multiversion Databases
-
th International Conference, DEXA, Toulouse, Proceedings. Springer
-
th International Conference, DEXA, Toulouse, Proceedings. Lecture Notes in Computer Science, 1308, Springer, pages 252-261, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1308
, pp. 252-261
-
-
Doucet, A.1
Gançarski, S.2
Jomier, G.3
Monties, S.4
-
12
-
-
84947932174
-
Database Versions to represent Bitemporal Databases
-
th International Conference, DEXA, Florence, Proceedings. Springer
-
th International Conference, DEXA, Florence, Proceedings. Lecture Notes in Computer Science, 1677, Springer, pages 832-841, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1677
, pp. 832-841
-
-
Gançarski, S.1
-
13
-
-
5644274655
-
About real time, calendar systems and temporal notions
-
H. Barringer and D. Gabbay, editors, Kluwer Academic Publishers
-
Hans Jürgen Ohlbach. About real time, calendar systems and temporal notions. In H. Barringer and D. Gabbay, editors, Advances in Temporal Logic, pages 319-338. Kluwer Academic Publishers, 2000.
-
(2000)
Advances in Temporal Logic
, pp. 319-338
-
-
Ohlbach, H.J.1
-
14
-
-
5644294907
-
Calendar logic
-
I. Hodkinson D.M. Gabbay and M. Reynolds, editors, Oxford University Press
-
Hans Jürgen Ohlbach. Calendar logic. In I. Hodkinson D.M. Gabbay and M. Reynolds, editors, Temporal Logic: Mathematical Foundations and Computational Aspec ts, pages 489-586. Oxford University Press, 2000.
-
(2000)
Temporal Logic: Mathematical Foundations and Computational Aspec ts
, pp. 489-586
-
-
Ohlbach, H.J.1
|