Contracts Violation: Justification via Argumentation (Q3393386): Difference between revisions

@@ Property / cites work @@
+On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823548
@@ Property / cites work: Q4823548 / rank @@
+Normal rank
@@ Property / cites work @@
+Review on computational trust and reputation models
+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 @@
+Argumentation in Multi-Agent Systems
@@ Property / cites work: Argumentation in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verifiable agent dialogues
@@ Property / cites work: Verifiable agent dialogues / rank @@
+Normal rank
@@ Property / cites work @@
+Agents that reason and negotiate by arguing
@@ Property / cites work: Agents that reason and negotiate by arguing / rank @@
+Normal rank
@@ Property / cites work @@
+Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
+Normal rank
@@ Property / cites work @@
+Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
+Normal rank
@@ Property / cites work @@
+An executable specification of a formal argumentation protocol
+Normal rank
@@ Property / cites work @@
+Specifying norm-governed computational societies
@@ Property / cites work: Specifying norm-governed computational societies / rank @@
+Normal rank