23 papers
Dimensions of Power: A Systematic Guide to Power Indices for Explainable AI
Filip Naudot, Arunavo Ganguly, Timotheus Kampik +2
Power indices, originating in cooperative game theory, quantify each player's influence on the outcome of a given game. Originally designed to distribute profits or costs among pla…
Organizational Memory for Agentic Business Process Execution
Lukas Kirchdorfer, Adrian Rebmann, Christian Warmuth +3
LLM-based agents offer new opportunities for automating business process execution beyond the limits of rule-based systems. However, general-purpose LLMs lack the organization-spec…
Agent Behavior Mining: Generative AI Agent Governance in Business Processes
Hoang Vu, Maximilian Körner, Adrian Rebmann +4
As organizations increasingly deploy generative AI agents to automate business processes, they face a governance dilemma: although these agents can increase operational flexibility…
Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
Arunavo Ganguly, Julian Alfredo Mendez, Timotheus Kampik
We introduce notions of \emph{safety}, \emph{liveness}, and \emph{fairness}, as commonly used in temporal reasoning and distributed systems, to quantitative (bipolar) argumentation…
Conversational Process Model Redesign
Nataliia Klievtsova, Timotheus Kampik, Juergen Mangler +1
With the recent success of large language models (LLMs), the idea of AI-augmented Business Process Management systems is becoming more feasible. One of their essential characterist…
Formal Foundations of Agentic Business Process Management
Giuseppe De Giacomo, Timotheus Kampik, Lukas Kirchdorfer +2
Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execu…