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

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2007.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1964059186
@@ Property / OpenAlex ID: W1964059186 / rank @@
+Normal rank
@@ 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