Q5087787 (Q5087787): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamics of epistemic attitudes in resource-bounded agents
+Normal rank
@@ Property / cites work @@
+Q3379040
@@ Property / cites work: Q3379040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708902
@@ Property / cites work: Q4708902 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic logic for multi-agent systems with budget and costs
+Normal rank
@@ Property / cites work @@
+Q5020597
@@ Property / cites work: Q5020597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about rational, but not logically omniscient, agents
+Normal rank
@@ Property / cites work @@
+Q3624165
@@ Property / cites work: Q3624165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020577
@@ Property / cites work: Q5020577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5087787