Representing and reasoning about game strategies (Q2341262): Difference between revisions

@@ Property / DOI @@
-.1007/s10992-014-9334-6
@@ Property / DOI: 10.1007/s10992-014-9334-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Potassco
@@ Property / describes a project that uses: Potassco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2007959953
@@ Property / OpenAlex ID: W2007959953 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5380
@@ Property / arXiv ID: 1407.5380 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative choice logic
@@ Property / cites work: Qualitative choice logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Automated verification of state sequence invariants in general game playing
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / 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 @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming for Single-Player Games in General Game Playing
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Strategies
@@ Property / cites work: Reasoning about Strategies / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10992-014-9334-6
@@ Property / DOI: 10.1007/S10992-014-9334-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2341262