Knowledge, action, and the frame problem (Q814427): Difference between revisions

@@ Property / cites work @@
+Reasoning about noisy sensors and effectors in the situation calculus
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+Q4342093
@@ Property / cites work: Q4342093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028792
@@ Property / cites work: Q4028792 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing knowledge within the situation calculus using interval-valued epistemic fluents
+Normal rank
@@ Property / cites work @@
+Q4934644
@@ Property / cites work: Q4934644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934649
@@ Property / cites work: Q4934649 / rank @@
+Normal rank
@@ Property / cites work @@
+Ability and knowing how in the situation calculus
@@ Property / cites work: Ability and knowing how in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+State Constraints Revisited
@@ Property / cites work: State Constraints Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452629
@@ Property / cites work: Q4452629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
+Normal rank
@@ Property / cites work @@
+Some contributions to the metatheory of the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+On knowledge-based programming with sensing in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q5732164
@@ Property / cites work: Q5732164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473063
@@ Property / cites work: Q4473063 / rank @@
+Normal rank