A Fluent Calculus Semantics for ADL with Plan Constraints (Q3532463): Difference between revisions

@@ 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