Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550): Difference between revisions

@@ Property / DOI @@
-.1007/s11704-016-5100-y
@@ Property / DOI: 10.1007/s11704-016-5100-y / rank @@
-Normal rank
@@ 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/s11704-016-5100-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2592722669
@@ Property / OpenAlex ID: W2592722669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Conditions for Nash Equilibrium
@@ Property / cites work: Epistemic Conditions for Nash Equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+What can machines know?
@@ Property / cites work: What can machines know? / rank @@
+Normal rank
@@ Property / cites work @@
+Limited reasoning in first-order knowledge bases with full introspection
+Normal rank
@@ Property / cites work @@
+Logics of temporal-epistemic actions
@@ Property / cites work: Logics of temporal-epistemic actions / rank @@
+Normal rank
@@ Property / cites work @@
+A complete coalition logic of temporal knowledge for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4287517
@@ Property / cites work: Q4287517 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, Identity, and Existence<sup>1</sup>
@@ Property / cites work: Knowledge, Identity, and Existence<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic and its applications. I
@@ Property / cites work: Game logic and its applications. I / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic and its applications. II
@@ Property / cites work: Game logic and its applications. II / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified epistemic logics for reasoning about knowledge in multi-agent systems
+Normal rank
@@ Property / cites work @@
+First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / DOI @@
+.1007/S11704-016-5100-Y
@@ Property / DOI: 10.1007/S11704-016-5100-Y / rank @@
+Normal rank