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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1514810828
@@ Property / OpenAlex ID: W1514810828 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5101452