A PDL APPROACH FOR QUALITATIVE VELOCITY (Q3005946): Difference between revisions

@@ Property / cites work @@
+A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs
+Normal rank
@@ Property / cites work @@
+Qualitative Probability and Order of Magnitude Reasoning
+Normal rank
@@ Property / cites work @@
+Q4841134
@@ Property / cites work: Q4841134 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic as a framework for spatio-temporal reasoning
+Normal rank
@@ Property / cites work @@
+Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Fuzzy qualitative trigonometry
@@ Property / cites work: Fuzzy qualitative trigonometry / rank @@
+Normal rank