Planning with regression analysis in transaction logic (Q2360182): Difference between revisions

@@ 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.1007/978-3-319-22002-4_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1133241177
@@ Property / OpenAlex ID: W1133241177 / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518415
@@ Property / cites work: Q4518415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400802
@@ Property / cites work: Q4400802 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of transaction logic
@@ Property / cites work: An overview of transaction logic / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+On Linear Logic Planning and Concurrency
@@ Property / cites work: On Linear Logic Planning and Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+The logical foundations of goal-regression planning in autonomous agents
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003165
@@ Property / cites work: Q4003165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536322
@@ Property / cites work: Q4536322 / rank @@
+Normal rank