Q4028785 (Q4028785): 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 @@
+Q4028767
@@ Property / cites work: Q4028767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489513
@@ Property / cites work: Q3489513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028785
@@ Property / cites work: Q4028785 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical analysis of terminological representation systems
+Normal rank
@@ Property / cites work @@
+Q3198907
@@ Property / cites work: Q3198907 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166250
@@ Property / cites work: Q4166250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3311639
@@ Property / cites work: Q3311639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493291
@@ Property / cites work: Q3493291 / rank @@
+Normal rank