Constructive knowledge: what agents can achieve under imperfect information (Q3647280): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Comparing semantics of logics for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Action and knowledge in alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+On the Expressiveness and Complexity of ATL
@@ Property / cites work: On the Expressiveness and Complexity of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702562
@@ Property / cites work: Q2702562 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3118402
@@ Property / cites work: Q3118402 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank