Branching interval algebra: an almost complete picture (Q2051838): Difference between revisions

@@ Property / cites work @@
+Q5079779
@@ Property / cites work: Q5079779 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning temporal events using point-interval logic
+Normal rank
@@ Property / cites work @@
+Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+A complete classification of tractability in Allen's algebra relative to subsets of basic relations
+Normal rank
@@ Property / cites work @@
+Weak Composition for Qualitative Spatial and Temporal Reasoning
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty-one large tractable subclasses of Allen's algebra
+Normal rank
@@ Property / cites work @@
+Expressive power and complexity in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4797422
@@ Property / cites work: Q4797422 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
+Normal rank
@@ Property / cites work @@
+Modelling and solving temporal reasoning as propositional satisfiability
+Normal rank
@@ Property / cites work @@
+On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
+Normal rank
@@ Property / cites work @@
+ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP
@@ Property / cites work: ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP / rank @@
+Normal rank