A Fluent Calculus Semantics for ADL with Plan Constraints (Q3532463): 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-540-87803-2_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1715603891
@@ Property / OpenAlex ID: W1715603891 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+ADL and the State-Transition Model of Action
@@ Property / cites work: ADL and the State-Transition Model of Action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning robots. The art and science of programming robotic agents
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The concurrent, continuous fluent calculus
@@ Property / cites work: The concurrent, continuous fluent calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Multivalued Action Languages with Constraints in CLP(FD)
+Normal rank