Interval-based temporal functional dependencies: specification and verification (Q2251126): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485446
@@ Property / cites work: Q4485446 / rank @@
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Database Systems
@@ Property / cites work: Encyclopedia of Database Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal representation and reasoning in artificial intelligence: Issues and approaches
+Normal rank
@@ Property / cites work @@
+Sorting jordan sequences in linear time using level-linked search trees
+Normal rank
@@ Property / cites work @@
+Q3907100
@@ Property / cites work: Q3907100 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+Temporal logics in AI: semantical and ontological considerations
+Normal rank
@@ Property / cites work @@
+Q4886730
@@ Property / cites work: Q4886730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4486417
@@ Property / cites work: Q4486417 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Unsteady nature of leading edge vortices
@@ Property / cites work: Unsteady nature of leading edge vortices / rank @@
+Normal rank
@@ Property / cites work @@
+Consensus in Multi-Agent Systems With Coupling Delays and Switching Topology
+Normal rank