Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming (Q5019605): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Agent planning programs
@@ Property / cites work: Agent planning programs / rank @@
+Normal rank
@@ Property / cites work @@
+plasp 3: Towards Effective ASP Planning
@@ Property / cites work: plasp 3: Towards Effective ASP Planning / rank @@
+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 @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Epistemic Specifications
@@ Property / cites work: Revisiting Epistemic Specifications / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3203853321
@@ Property / OpenAlex ID: W3203853321 / rank @@
+Normal rank