Cover Image

Formal Foundations of Agentic Business Process Management

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Giacomo, Giuseppe, Kampik, Timotheus, Kirchdorfer, Lukas, Montali, Marco, Weinhuber, Christoph
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation
by: Kirchdorfer, Lukas, et al.
Published: (2024)

Agentic Business Process Management: A Research Manifesto
by: Calvanese, Diego, et al.
Published: (2026)

Specification, Application, and Operationalization of a Metamodel of Fairness
by: Mendez, Julian Alfredo, et al.
Published: (2025)

Conversational Process Model Redesign
by: Klievtsova, Nataliia, et al.
Published: (2025)

llmSHAP: A Principled Approach to LLM Explainability
by: Naudot, Filip, et al.
Published: (2025)

xSemAD: Explainable Semantic Anomaly Detection in Event Logs Using Sequence-to-Sequence Models
by: Busch, Kiran, et al.
Published: (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements
by: Kampik, Timotheus, et al.
Published: (2024)

Can Proof Assistants Verify Multi-Agent Systems?
by: Mendez, Julian Alfredo, et al.
Published: (2025)

Agentic Business Process Management: Practitioner Perspectives on Agent Governance in Business Processes
by: Vu, Hoang, et al.
Published: (2025)

Set Contribution Functions for Quantitative Bipolar Argumentation and their Principles
by: Naudot, Filip, et al.
Published: (2025)

Large Process Models: A Vision for Business Process Management in the Age of Generative AI
by: Kampik, Timotheus, et al.
Published: (2023)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
by: Kampik, Timotheus, et al.
Published: (2025)

Conversational Process Modeling: Can Generative AI Empower Domain Experts in Creating and Redesigning Process Models?
by: Klievtsova, Nataliia, et al.
Published: (2023)

Contribution Functions for Quantitative Bipolar Argumentation Graphs: A Principle-based Analysis
by: Kampik, Timotheus, et al.
Published: (2024)

Contestability in Quantitative Argumentation
by: Yin, Xiang, et al.
Published: (2025)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
by: Abate, Alessandro, et al.
Published: (2026)

Strength Change Explanations in Quantitative Argumentation
by: Kampik, Timotheus, et al.
Published: (2026)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

Agentic Business Process Management Systems
by: Dumas, Marlon, et al.
Published: (2026)

Implementing Agents in JavaScript
by: Kampik, Timotheus
Published: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
by: Hausmann, Daniel, et al.
Published: (2025)

Good-for-MDP State Reduction for Stochastic LTL Planning
by: Weinhuber, Christoph, et al.
Published: (2025)

Expressive Power and Complexity Results for SIGNAL, an Industry-scale Process Query Language
by: Kampik, Timotheus, et al.
Published: (2023)

On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
by: Alman, Anti, et al.
Published: (2026)

Examining Common Paradigms in Multi-Task Learning
by: Elich, Cathrin, et al.
Published: (2023)

Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)

Depth-Bounded Epistemic Planning
by: Bolander, Thomas, et al.
Published: (2024)

An Agentic AI for a New Paradigm in Business Process Development
by: Azarijafari, Mohammad, et al.
Published: (2025)

Explaining Control Policies through Predicate Decision Diagrams
by: Chakraborty, Debraj, et al.
Published: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

WONDERBREAD: A Benchmark for Evaluating Multimodal Foundation Models on Business Process Management Tasks
by: Wornow, Michael, et al.
Published: (2024)

Best-Effort Policies for Robust Markov Decision Processes
by: Abate, Alessandro, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Analytical Uncertainty-Based Loss Weighting in Multi-Task Learning
by: Kirchdorfer, Lukas, et al.
Published: (2024)

Agentic AI-based Coverage Closure for Formal Verification
by: Pothireddypalli, Sivaram, et al.
Published: (2026)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
by: Liu, Junqi, et al.
Published: (2026)

Timeline-based Process Discovery
by: Kaur, Harleen, et al.
Published: (2023)

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
by: De Giacomo, Giuseppe, et al.
Published: (2025)

Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)

FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
by: Zhou, Jiayi, et al.
Published: (2026)