Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Conference object
Data sources: ZENODO
addClaim

ICMAI 2026 Presentation for Proof-Carrying Streamed Workflow Graphs

Authors: Kingston, Phillip; Fagnoni, Théo;

ICMAI 2026 Presentation for Proof-Carrying Streamed Workflow Graphs

Abstract

An AI system can build a workflow one apparently reasonable step at a time and still arrive at a process that cannot be completed. Each task may be valid. Each connection may pass its local checks. Yet one committed addition can remove the last way to satisfy the workflow’s requirements. When a workflow is still under construction, what evidence should accompany each addition to establish that an acceptable completion remains possible? And what information must a system retain if it is to answer that question correctly as construction continues? Our motivating case is the Opus Work Knowledge Graph, or WKG. It organizes reusable tasks, context and evidence so that workflows can be assembled for particular business settings.

Powered by OpenAIRE graph
Found an issue? Give us feedback