A logic of situated resource-bounded agents (Q1006513): Difference between revisions

@@ Property / cites work @@
+The Dynamics of Syntactic Knowledge
@@ Property / cites work: The Dynamics of Syntactic Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Complexity of Multi-modal CTL
@@ Property / cites work: Completeness and Complexity of Multi-modal CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about rational, but not logically omniscient, agents
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemology Without Knowledge and Without Belief
@@ Property / cites work: Epistemology Without Knowledge and Without Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992823
@@ Property / cites work: Q3992823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841134
@@ Property / cites work: Q4841134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252257
@@ Property / cites work: Q4252257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252258
@@ Property / cites work: Q4252258 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+A computationally grounded logic of visibility, perception, and knowledge
+Normal rank