Representing action: indeterminacy and ramifications (Q1389538): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+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 @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Two counterexamples related to Baker's approach to the frame problem
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested abnormality theories
@@ Property / cites work: Nested abnormality theories / rank @@
+Normal rank
@@ Property / cites work @@
+Two components of an action language
@@ Property / cites work: Two components of an action language / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698061
@@ Property / cites work: Q4698061 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing actions in logic programs and default theories a situation calculus approach
+Normal rank