3 search results - page 1 / 1 » Datalog LITE: a deductive query language with linear time mo... |
TOCL
2002
13 years 5 months ago
2002
SEBD
2001
13 years 7 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
PODS
1994
ACM
13 years 9 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...