Formalization of reasoning about default action (preliminary report) (Q4632322): Difference between revisions

@@ 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 @@
+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 @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893671
@@ Property / cites work: Q4893671 / rank @@
+Normal rank