Situation calculus specifications for event calculus logic programs (Q5101452): Difference between revisions

@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+Representing Incomplete Knowledge in Abductive Logic Programming
+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 @@
+Provably correct theories of action
@@ Property / cites work: Provably correct theories of action / rank @@
+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 @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank