Formalizing and Reasoning About Supply Chain Contracts Between Agents Conferences

authors

• Flynn, Dylan
• Nadeau, Chasity
• Shantz, Jeannine
• Balduccini, Marcello
• Son, Tran Cao
• Griffor, Edward

status

• published 

publication date

• 2023

has subject area

• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Lecture Notes in Computer Science  Journal

presented at event

• 25th International Symposium on Practical Aspects of Declarative Languages (PADL)  Conference

keywords

• Answer set programming
• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• Cyber-Physical System Framework
• LOGIC
• Science & Technology
• Specifying and reasoning about contracts
• Supply chain
• Technology

Digital Object Identifier (DOI)

• 10.1007/978-3-031-24841-2_10

International Standard Book Number (ISBN) 13

• 9783031248405

start page

• 144

end page

• 160

volume

• 13880