Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q4028767
@@ Property / cites work: Q4028767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / 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 @@
+Temporally distributed symptoms in technical diagnosis
+Normal rank
@@ Property / cites work @@
+Q4386938
@@ Property / cites work: Q4386938 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00137869
+Normal rank
@@ Property / OpenAlex ID @@
+W3012525065
@@ Property / OpenAlex ID: W3012525065 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:679419