Relation algebras and their application in temporal and spatial reasoning (Q1781107): Difference between revisions

@@ Property / author @@
-Ivo Duentsch
@@ Property / author: Ivo Duentsch / rank @@
-Normal rank
@@ Property / author @@
+Ivo Duentsch
@@ Property / author: Ivo Duentsch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RelView
@@ Property / describes a project that uses: RelView / rank @@
+Normal rank
@@ 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.1007/s10462-004-5899-8
+Normal rank
@@ Property / OpenAlex ID @@
+W152517204
@@ Property / OpenAlex ID: W152517204 / 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 @@
+Binary Relations and Permutation Groups
@@ Property / cites work: Binary Relations and Permutation Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Representations for small relation algebras
@@ Property / cites work: Representations for small relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998034
@@ Property / cites work: Q3998034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011707
@@ Property / cites work: Q4011707 / rank @@
+Normal rank
@@ Property / cites work @@
+Small integral relation algebras generated by a partial order
+Normal rank
@@ Property / cites work @@
+Cylindric structures and dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Relational Structures as Knowledge Instruments
+Normal rank
@@ Property / cites work @@
+A relation-algebraic approach to the region connection calculus
+Normal rank
@@ Property / cites work @@
+A representation theorem for Boolean contact algebras
+Normal rank
@@ Property / cites work @@
+Q5314478
@@ Property / cites work: Q5314478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764154
@@ Property / cites work: Q4764154 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of geometry without points
@@ Property / cites work: Axiomatizability of geometry without points / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power and complexity in algebraic logic
+Normal rank
@@ Property / cites work @@
+A finite relation algebra with undecidable network satisfaction problem
+Normal rank
@@ Property / cites work @@
+Tractable approximations for temporal constraint handling
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing decision problems for various paradigms of algebraic logic.
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+Fast algebraic methods for interval constraint problems
+Normal rank
@@ Property / cites work @@
+Region connection calculus: Its models and composition table
+Normal rank
@@ Property / cites work @@
+The logical systems of Lesniewski
@@ Property / cites work: The logical systems of Lesniewski / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and projective geometries
@@ Property / cites work: Relation algebras and projective geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011723
@@ Property / cites work: Q4011723 / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of relation algebras in the development and axiomatization of the calculus of relations
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiom system for polygonal mereotopology of the real plane
+Normal rank
@@ Property / cites work @@
+Expressivity in polygonal, plane mereotopology
@@ Property / cites work: Expressivity in polygonal, plane mereotopology / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Q5582292
@@ Property / cites work: Q5582292 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank