Constants and finite unary relations in qualitative constraint reasoning (Q1749385): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.12.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2780906569
@@ Property / OpenAlex ID: W2780906569 / 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 @@
+Constraint Satisfaction Problems Solvable by Local Consistency Methods
+Normal rank
@@ Property / cites work @@
+Core-like properties of infinite graphs and structures
+Normal rank
@@ Property / cites work @@
+Cores of Countably Categorical Structures
@@ Property / cites work: Cores of Countably Categorical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649542
@@ Property / cites work: Q4649542 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Temporal and Spatial Reasoning Revisited
+Normal rank
@@ Property / cites work @@
+Datalog and constraint satisfaction with infinite templates
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+Tractable Set Constraints
@@ Property / cites work: Tractable Set Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic View on Qualitative Constraint Reasoning
+Normal rank
@@ Property / cites work @@
+THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING <i>C</i>-RELATION
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A fast algorithm and datalog inexpressibility for temporal reasoning
+Normal rank
@@ Property / cites work @@
+Decidability of Definability
@@ Property / cites work: Decidability of Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative constraint satisfaction re-revisited
@@ Property / cites work: Conservative constraint satisfaction re-revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q3995219
@@ Property / cites work: Q3995219 / rank @@
+Normal rank
@@ Property / cites work @@
+Building tractable disjunctive constraints
@@ Property / cites work: Building tractable disjunctive constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A relation-algebraic approach to the region connection calculus
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras of intervals
@@ Property / cites work: Relation algebras of intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power and complexity in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3457245
@@ Property / cites work: Q3457245 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Finite Unary Relations and Qualitative Constraint Satisfaction.
+Normal rank
@@ Property / cites work @@
+A unifying approach to temporal constraint reasoning
+Normal rank
@@ Property / cites work @@
+Q4386965
@@ Property / cites work: Q4386965 / rank @@
+Normal rank
@@ Property / cites work @@
+The 116 reducts of (ℚ, &lt;, <i>a</i>)
@@ Property / cites work: The 116 reducts of (ℚ, <, <i>a</i>) / rank @@
+Normal rank
@@ Property / cites work @@
+A complexity dichotomy for poset constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
+Normal rank
@@ Property / cites work @@
+Q5283013
@@ Property / cites work: Q5283013 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+On topological consistency and realization
@@ Property / cites work: On topological consistency and realization / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative constraint satisfaction problems: an extended framework with landmarks
+Normal rank
@@ Property / cites work @@
+Q4432966
@@ Property / cites work: Q4432966 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Composition for Qualitative Spatial and Temporal Reasoning
+Normal rank
@@ Property / cites work @@
+A tableau algorithm for description logics with concrete domains and general TBoxes
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Querying incomplete information in RDF with SPARQL
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank