business process management 1complex event processing 1cyber-physical systems 1declarative specifications 1signal temporal logic 1
From the 1 of 3 linked papers with an AI index.
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Supporting Autonomous Process Execution within a Multi-Perspective Constraint Frame via Numeric Planning
Paul Wittlinger, Giacomo Acitelli, Anti Alman +2
AI-Augmented Business Process Management Systems (ABPMS) enhance traditional BPMS by leveraging advanced AI techniques to define, execute, and monitor complex process structures. W…
cs.AI2026
On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
Anti Alman, Izack Cohen, Avigdor Gal +2
A core component of any AI-Augmented Business Process Management System (ABPMS) is the process frame, which gives the system process-awareness and defines its maximal behavioral bo…
cs.AI2024
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
Ivan Donadello, Paolo Felli, Craig Innes +2
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently que…