Undoing the effects of action sequences (Q946576): Difference between revisions

@@ Property / cites work @@
+A structural approach to reversible computation
@@ Property / cites work: A structural approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of planning and approximate planning in the presence of incompleteness
+Normal rank
@@ Property / cites work @@
+Undoing the effects of action sequences
@@ Property / cites work: Undoing the effects of action sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422266
@@ Property / cites work: Q5422266 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / cites work @@
+Q4460684
@@ Property / cites work: Q4460684 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to undo operations in programming languages
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230753
@@ Property / cites work: Q4230753 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank
@@ Property / cites work @@
+Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings.
+Normal rank