Exception diagnosis in multiagent contract executions (Q1926581): Difference between revisions

@@ Property / describes a project that uses @@
+SCIFF
@@ Property / describes a project that uses: SCIFF / 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/s10472-012-9282-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1982088356
@@ Property / OpenAlex ID: W1982088356 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification from Declarative Specifications Using Logic Programming
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Behavior-Oriented Commitment-based Protocols
@@ Property / cites work: Behavior-Oriented Commitment-based Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Event Calculus for Monitoring Global Computing Applications
+Normal rank
@@ Property / cites work @@
+Q4473434
@@ Property / cites work: Q4473434 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of abduction
@@ Property / cites work: The computational complexity of abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Social Commitments in Time: Satisfied or Compensated
+Normal rank
@@ Property / cites work @@
+On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
+Normal rank
@@ Property / cites work @@
+Temporal representation and reasoning in artificial intelligence: Issues and approaches
+Normal rank
@@ Property / cites work @@
+Verifying Agents’ Conformance with Multiparty Protocols
+Normal rank
@@ Property / cites work @@
+Social Commitment Delegation and Monitoring
@@ Property / cites work: Social Commitment Delegation and Monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954174
@@ Property / cites work: Q4954174 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+EDEN: An intelligent software environment for diagnosis of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Analysis of notions of diagnosis
@@ Property / cites work: Analysis of notions of diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446862
@@ Property / cites work: Q3446862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844913
@@ Property / cites work: Q2844913 / rank @@
+Normal rank