Using counterfactuals in knowledge-based programming (Q5138508): Difference between revisions

@@ Property / DOI @@
-.1007/s00446-004-0108-1
@@ Property / DOI: 10.1007/s00446-004-0108-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2169198332
@@ Property / OpenAlex ID: W2169198332 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cs/0311028
@@ Property / arXiv ID: cs/0311028 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a Byzantine environment: Crash failures
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling belief in dynamic systems. I: Foundations
+Normal rank
@@ Property / cites work @@
+Message-optimal protocols for Byzantine Agreement
@@ Property / cites work: Message-optimal protocols for Byzantine Agreement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488092
@@ Property / cites work: Q4488092 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+A Characterization of Eventual Byzantine Agreement
+Normal rank
@@ Property / cites work @@
+A little knowledge goes a long way
@@ Property / cites work: A little knowledge goes a long way / rank @@
+Normal rank
@@ Property / cites work @@
+Subjective games and equilibria
@@ Property / cites work: Subjective games and equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+Simulating synchronized clocks and common knowledge in distributed systems
+Normal rank
@@ Property / cites work @@
+Q4496846
@@ Property / cites work: Q4496846 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00446-004-0108-1
@@ Property / DOI: 10.1007/S00446-004-0108-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5138508