Q5079773 (Q5079773): Difference between revisions

@@ Property / cites work @@
+A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
+Normal rank
@@ Property / cites work @@
+The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
+Normal rank
@@ Property / cites work @@
+Horn Fragments of the Halpern-Shoham Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+Q5111184
@@ Property / cites work: Q5111184 / rank @@
+Normal rank
@@ Property / cites work @@
+Mining approximate interval-based temporal dependencies
+Normal rank
@@ Property / cites work @@
+Q4739035
@@ Property / cites work: Q4739035 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Rule Learning
@@ Property / cites work: Foundations of Rule Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Algorithms for Listing Combinatorial Structures
+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 @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436449
@@ Property / cites work: Q4436449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023071
@@ Property / cites work: Q4023071 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical and Relational Learning
@@ Property / cites work: Logical and Relational Learning / rank @@
+Normal rank