Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-54069-5_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2558767970
@@ Property / OpenAlex ID: W2558767970 / 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 @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Horn Fragments of the Halpern-Shoham Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
+Normal rank
@@ Property / cites work @@
+Q4904145
@@ Property / cites work: Q4904145 / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank