A circumscriptive calculus of events (Q1855238): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493308
@@ Property / cites work: Q3493308 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+Q3198877
@@ Property / cites work: Q3198877 / 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 @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Frames in the space of situations
@@ Property / cites work: Frames in the space of situations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028811
@@ Property / cites work: Q4028811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Miracles in formal theories of action
@@ Property / cites work: Miracles in formal theories of action / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Narratives in the Situation Calculus
@@ Property / cites work: Narratives in the Situation Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493250
@@ Property / cites work: Q3493250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198889
@@ Property / cites work: Q3198889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663383
@@ Property / cites work: Q5663383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198891
@@ Property / cites work: Q3198891 / rank @@
+Normal rank