A logic framework for reasoning with movement based on fuzzy qualitative representation (Q2350485): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+MASL: A Logic for the Specification of Multiagent Real-Time Systems
+Normal rank
@@ Property / cites work @@
+A PDL APPROACH FOR QUALITATIVE VELOCITY
@@ Property / cites work: A PDL APPROACH FOR QUALITATIVE VELOCITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438810
@@ Property / cites work: Q4438810 / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
+Normal rank
@@ Property / cites work @@
+Imprecise reasoning in geographic information systems
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy qualitative trigonometry
@@ Property / cites work: Fuzzy qualitative trigonometry / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative reasoning about relative direction of oriented points
+Normal rank
@@ Property / cites work @@
+On the improvement of combined fuzzy topological and directional relations information
+Normal rank
@@ Property / cites work @@
+Fuzzy region connection calculus: An interpretation based on closeness
+Normal rank
@@ Property / cites work @@
+Spatial reasoning in a fuzzy region connection calculus
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank