Algebraic foundations for qualitative calculi and networks (Q1733063): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2019.02.033
@@ Property / DOI: 10.1016/j.tcs.2019.02.033 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.09140
@@ Property / arXiv ID: 1606.09140 / 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 @@
+Q3998365
@@ Property / cites work: Q3998365 / rank @@
+Normal rank
@@ Property / cites work @@
+A finer reduction of constraint problems to digraphs
+Normal rank
@@ Property / cites work @@
+Combinatorial aspects of relations
@@ Property / cites work: Combinatorial aspects of relations / rank @@
+Normal rank
@@ Property / cites work @@
+A relation-algebraic approach to the region connection calculus
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Representability is not decidable for finite relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras of intervals
@@ Property / cites work: Relation algebras of intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A finite relation algebra with undecidable network satisfaction problem
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283015
@@ Property / cites work: Q5283015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3010376
@@ Property / cites work: Q3010376 / rank @@
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+RCC8 binary constraint network can be consistently extended
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Necessary subalgebras of simple nonintegral semiassociative relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of integral relation algebras
@@ Property / cites work: Representations of integral relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Combining qualitative and quantitative constraints in temporal reasoning
+Normal rank
@@ Property / cites work @@
+Some Recent Results in Metric Temporal Logic
@@ Property / cites work: Some Recent Results in Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Canonical Model of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Weak Composition for Qualitative Spatial and Temporal Reasoning
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128265980
@@ Property / Wikidata QID: Q128265980 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2019.02.033
@@ Property / DOI: 10.1016/J.TCS.2019.02.033 / rank @@
+Normal rank