:: Library Catalog

Cover Image

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:	https://arxiv.org/abs/2604.17347
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)

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)

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

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

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

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)

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

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)

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

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

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)

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)

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

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

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

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

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

Identifying Process Improvement Opportunities through Process Execution Benchmarking
by: Abb, Luka, et al.
Published: (2025)

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

Privacy-Preserving Inconsistency Measurement
by: Corea, Carl, et al.
Published: (2025)

Abducing Compliance of Incomplete Event Logs
by: Chesani, Federico, et al.
Published: (2016)

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

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