Conference
Formalizing and Reasoning About Supply Chain Contracts Between Agents
Abstract
Inspired by the recent problems in supply chains, we propose an approach to declarative modeling of contracts between agents that will eventually support reasoning about resilience of and about ways to improve supply chains. Specifically, we present a high-level language for specifying and reasoning about contracts over action domains of agents. We assume that the behavior of the agents can be formally expressed through action theories and view …
Authors
Flynn D; Nadeau C; Shantz J; Balduccini M; Son TC; Griffor ER
Series
Lecture Notes in Computer Science
Volume
13880
Pagination
pp. 144-160
Publisher
Springer Nature
Publication Date
2023
DOI
10.1007/978-3-031-24841-2_10
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743