Norm-based mechanism design (Q322076): Difference between revisions

@@ Property / describes a project that uses @@
+SUMO
@@ Property / describes a project that uses: SUMO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Moise+
@@ Property / describes a project that uses: Moise+ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISLANDER
@@ Property / describes a project that uses: ISLANDER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2472349434
@@ Property / OpenAlex ID: W2472349434 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust normative systems and a logic of norm compliance
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3571951
@@ Property / cites work: Q3571951 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying agents with memory is harder than it seemed
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal properties of rational play
+Normal rank
@@ Property / cites work @@
+A logic for normative multi-agent programs
@@ Property / cites work: A logic for normative multi-agent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Artificial Intelligence – SBIA 2004
@@ Property / cites work: Advances in Artificial Intelligence – SBIA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Choosing social laws for multi-agent systems: Minimality and simplicity
+Normal rank
@@ Property / cites work @@
+Q5715720
@@ Property / cites work: Q5715720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295371
@@ Property / cites work: Q4295371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiagent Systems
@@ Property / cites work: Multiagent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On social laws for artificial agent societies: off-line design
+Normal rank
@@ Property / cites work @@
+The Uses of Norms
@@ Property / cites work: The Uses of Norms / rank @@
+Normal rank
@@ Property / cites work @@
+Social laws in alternating time: effectiveness, feasibility, and synthesis
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Incentive engineering for Boolean games
@@ Property / cites work: Incentive engineering for Boolean games / rank @@
+Normal rank