Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707): Difference between revisions

@@ Property / cites work @@
+A deductive solution for plan generation
@@ Property / cites work: A deductive solution for plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256521
@@ Property / cites work: Q4256521 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Weak, strong, and strong cyclic planning via symbolic model checking
+Normal rank
@@ Property / cites work @@
+Complexity, decidability and undecidability results for domain-independent planning
+Normal rank
@@ Property / cites work @@
+Q2734937
@@ Property / cites work: Q2734937 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic as a logic of computations
@@ Property / cites work: Linear logic as a logic of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842971
@@ Property / cites work: Q4842971 / rank @@
+Normal rank
@@ Property / cites work @@
+The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734936
@@ Property / cites work: Q2734936 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of linear affine logic
@@ Property / cites work: Decidability of linear affine logic / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+Q4215779
@@ Property / cites work: Q4215779 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating plans in linear logic. I: Actions as proofs
+Normal rank
@@ Property / cites work @@
+Generating plans in linear logic. II: A geometry of conjunctive actions
+Normal rank
@@ Property / cites work @@
+Q2755109
@@ Property / cites work: Q2755109 / rank @@
+Normal rank