A Logic for Reasoning about Rational Agents (Q3602940): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-88833-8_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2208072983
@@ Property / OpenAlex ID: W2208072983 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the NP-completeness of finding an optimal strategy in games with common payoffs
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+New complexity results about Nash equilibria
@@ Property / cites work: New complexity results about Nash equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Nash and correlated equilibria: Some complexity considerations
+Normal rank
@@ Property / cites work @@
+Comparing semantics of logics for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4460679
@@ Property / cites work: Q4460679 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for Reasoning about Rational Agents
@@ Property / cites work: A Logic for Reasoning about Rational Agents / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking abilities of agents: a closer look
@@ Property / cites work: Model checking abilities of agents: a closer look / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-person zero-sum games in extensive form
+Normal rank
@@ Property / cites work @@
+Q2771058
@@ Property / cites work: Q2771058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119077
@@ Property / cites work: Q4119077 / rank @@
+Normal rank
@@ Property / cites work @@
+Social laws in alternating time: effectiveness, feasibility, and synthesis
+Normal rank
@@ Property / cites work @@
+Q2848071
@@ Property / cites work: Q2848071 / rank @@
+Normal rank