Constraining cycle alternations in model checking for interval temporal logic (Q737106): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317689
@@ Property / Wikidata QID: Q113317689 / 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.1016/j.entcs.2016.03.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2337119313
@@ Property / OpenAlex ID: W2337119313 / 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 @@
+Q4904145
@@ Property / cites work: Q4904145 / rank @@
+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 @@
+Q5283018
@@ Property / cites work: Q5283018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351958
@@ Property / cites work: Q5351958 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank