Right now you are surfing a limited version of umu.se. What does this mean?

"False"
Umeå University
printicon
Main menu hidden.
Staff photo Timotheus Kampik

Timotheus Kampik

Agents and Reasoning

Contact

E-mail
timotheus.kampik@umu.se

Works as

Affiliation
Assistant professor at Department of Computing Science
Location
Visiting address, view map

I am interested in agents that reason, and in reasoning about agents. I focus on studying reasoning principles, and on making software systems reason better. 

One language to rule them all: behavioural querying of process data using SQL
Process mining workshops, Cham: Springer Nature 2025 : 18-30
Brand, Jakob; Kampik, Timotheus; Okulmus, Cem; et al.
Autonomy in business process execution: why we need first-class abstractions for goals and normative frames
Politecnico di Milano, Milan, Italy. Process Management in the AI Era 2025: Proceedings of the 4th International Workshop on Process Management in the AI Era 2025co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025)
Calvanese, Diego; De Giacomo, Giuseppe; Kampik, Timotheus; et al.
Privacy-preserving inconsistency measurement
Symbolic and quantitative approaches to reasoning with uncertainty: 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings, Cham: Springer 2025 : 455-469
Corea, Carl; Kampik, Timotheus; Potyka, Nico
Cautious nonmonotonicity
Journal of applied logics, Rickmansworth: College Publications 2025, Vol. 12, (6) : 1615-1630
Kampik, Timotheus
Disagree and commit: degrees of argumentation-based agreements
Autonomous Agents and Multi-Agent Systems, Springer Nature 2025, Vol. 39, (1)
Kampik, Timotheus; Nieves, Juan Carlos
Can we move argumentative XAI into the research & innovation mainstream?
CEUR Workshop Proceedings, CEUR-WS 2025 : 3-7
Kampik, Timotheus; Rago, Antonio; Cocarascu, Oana; et al.
ArgXAI-25: Argumentation for eXplainable AI 2025: Proceedings of the 3rd International Workshop on Argumentation for eXplainable AI (ArgXAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025)
CEUR Workshop Proceedings, 4066
Kampik, Timotheus; Rago, Antonio; Čyras, Kristijonas; et al.
Preface
CEUR Workshop Proceedings, CEUR-WS 2025 : 1-2
Kampik, Timotheus; Rago, Antonio; Čyras, Kristijonas; et al.
Discovering multi-agent systems for resource-centric business process simulation
Process Science, Springer 2025, Vol. 2, (1)
Kirchdorfer, Lukas; Blümel, Robert; Kampik, Timotheus; et al.
Can we leverage process data from ERP systems for business process sustainability analyses?
Process mining workshops, Cham: Springer Nature 2025 : 764-777
Schäfer, Dominik; Klessascheck, Finn; Kampik, Timotheus; et al.
Agentic business process management: practitioner perspectives on agent governance in business processes
Business Process Management: Responsible BPM Forum, Process Technology Forum, Educators Forum: BPM 2025 RBPM, PT, and Educators Forum, Seville, Spain, August 31 – September 5, 2025, Proceedings, Cham: Springer 2025 : 29-43
Vu, Hoang; Klievtsova, Nataliia; Leopold, Henrik; et al.
Explainable DMN
Business Process Management Forum: BPM 2024 Forum, Krakow, Poland, September 1–6, 2024, Proceedings, Springer 2024 : 55-71
Corea, Carl; Kampik, Timotheus; Montali, Marco
Kettle logic in abstract argumentation
Journal of logic and computation (Print), Oxford University Press 2024, Vol. 34, (3) : 528-556
Kampik, Timotheus
Expressive power and complexity results for signal, an industry-scale process query language
Business Process Management Forum: BPM 2024. Krakow, Poland, September 1–6, 2024, Proceedings, Springer 2024 : 3-19
Kampik, Timotheus; Okulmus, Cem
Contribution functions for quantitative bipolar argumentation graphs: a principle-based analysis
International Journal of Approximate Reasoning, Elsevier 2024, Vol. 173
Kampik, Timotheus; Potyka, Nico; Yin, Xiang; et al.
Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations
International Journal of Approximate Reasoning, Amsterdam: Elsevier 2024, Vol. 164
Kampik, Timotheus; Čyras, Kristijonas; Alarcón, José Ruiz
ArgXAI-24: Argumentation for eXplainable AI: Proceedings of the 2nd International Workshop on Argumentation for eXplainable AI co-located with the 10th International Conference on Computational Models of Argument (COMMA 2024)
CEUR Workshop Proceedings, 3768
Kampik, Timotheus; Čyras, Kristijonas; Rago, Antonio; et al.
Can proof assistants verify multi-agent systems?
Multi-agent systems: 21st European conference, EUMAS 2024, Dublin, Ireland, August 26–28, 2024, proceedings, Springer Nature 2024 : 323-339
Mendez, Julian Alfredo; Kampik, Timotheus
A clearer view on fairness: visual and formal representations for comparative analysis
14th Scandinavian Conference on Artificial Intelligence, SCAI 2024: June 10-11, 2024, Jönköping, Sweden, Jönköping University 2024 : 112-120
Mendez, Julian Alfredo; Kampik, Timotheus; Aler Tubella, Andrea; et al.
Fantastic argumentation tools and where to find them
SAFA 2024: international workshop on systems and algorithms for formal argumentation, CEUR-WS 2024 : 56-68
Persiani, Michele; Guerrero Rosero, Esteban; Brännström, Andreas; et al.
QBAF-Py: quantitative bipolar argumentation in C with Python bindings
Computational models of argument: proceedings of COMMA 2024, IOS Press 2024 : 361-362
Ruiz Alarcón, José; Kampik, Timotheus
ACROCPoLis: a descriptive framework for making sense of fairness
FAccT '23: Proceedings of the 2023 ACM conference on fairness, accountability, and transparency, ACM Digital Library 2023 : 1014-1025
Aler Tubella, Andrea; Coelho Mollo, Dimitri; Dahlgren, Adam; et al.
TDD for AOP: test-driven development for agent-oriented programming
AAMAS '23: Proceedings of the 2023 international conference on autonomous agents and multiagent systems, Association for Computing Machinery (ACM) 2023 : 3038-3040
Amaral, Cleber Jorge; Hübner, Jomi Fred; Kampik, Timotheus
BPMN2Constraints: breaking down BPMN diagrams into declarative process query constraints
BPM 2023 best dissertation award, doctoral consortium, and demonstration & resources forum: proceedings of the Best dissertation award, doctoral consortium, and demonstration & resources forum at BPM  2023, co-located with 21st International conference on business process management (BPM 2023), Aachen: Aachen University 2023 : 137-141
Bergman, Arvid; Rebmann, Adrian; Kampik, Timotheus
Autonomy in the age of knowledge graphs: vision and challenges
Transactions on Graph Data and Knowledge, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, Vol. 1, (1) : 13:1-13:22
Calbimonte, Jean-Paul; Ciortea, Andrei; Kampik, Timotheus; et al.
A comprehensive account of the burden of persuasion in abstract argumentation
Journal of logic and computation (Print), Oxford University Press 2023, Vol. 33, (2) : 257-288
Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni
Argument-based human–AI collaboration for supporting behavior change to improve health
Frontiers in Artificial Intelligence, Frontiers Media S.A. 2023, Vol. 6
Kilic, Kaan; Weck, Saskia; Kampik, Timotheus; et al.
Conversational process modelling: state of the art, applications, and implications in practice
Business Process Management Forum: BPM 2023 Forum, Utrecht, The Netherlands, September 11–15, 2023, Proceedings, Springer Nature 2023 : 319-336
Klievtsova, Nataliia; Benzin, Janik-Vasily; Kampik, Timotheus; et al.
Reinforcement learning-supported ab testing of business process improvements: an industry perspective
Enterprise, business-process and information systems modeling: 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12–13, 2023, Proceedings, Cham: Springer Nature 2023 : 12-26
Kurz, Aaron Friedrich; Kampik, Timotheus; Pufahl, Luise; et al.
A Formal Framework for Designing Boundedly Rational Agents
Proceedings of the 14th International Conference on Agents and Artificial Intelligence: Volume 3, SciTePress 2022 : 705-714
Brännström, Andreas; Kampik, Timotheus; Ruiz-Dolz, Ramon; et al.
Principle-based non-monotonic reasoning - from humans to machines
Report / UMINF, 22.02
Kampik, Timotheus
Developer operations and engineering multi-agent systems
Engineering multi-Agent systems: 9th international workshop, EMAS 2021, virtual event, May 3–4, 2021, revised selected papers, Cham: Springer Nature 2022 : 175-186
Kampik, Timotheus; Amaral, Cleber Jorge; Hübner, Jomi Fred
Governance of autonomous agents on the web: challenges and opportunities
ACM Transactions on Internet Technology, Association for Computing Machinery (ACM) 2022, Vol. 22, (4)
Kampik, Timotheus; Mansour, Adnane; Boissier, Olivier; et al.
Event log generation: an industry perspective
Enterprise, business-process and information systems modeling: 23rd international conference, BPMDS 2022 and 27th international conference, EMMSAD 2022, held at Caise 2022, Leuven, Belgium, June 6–7, 2022, proceedings, Cham: Springer 2022 : 123-136
Kampik, Timotheus; Mathias, Weske
Ensuring reference independence and cautious monotony in abstract argumentation
International Journal of Approximate Reasoning, Elsevier 2022, Vol. 140 : 173-210
Kampik, Timotheus; Nieves, Juan Carlos; Gabbay, Dov
Explaining change in quantitative bipolar argumentation
Computational models of argument, IOS Press 2022 : 188-199
Kampik, Timotheus; Čyras, Kristijonas
The quest of parsimonious XAI: A human-agent architecture for explanation formulation
Artificial Intelligence, Elsevier 2022, Vol. 302
Mualla, Yazan; Tchappi, Igor; Kampik, Timotheus; et al.
ArgXAI-22: Argumentation for eXplainable AI
1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), Cardiff, UK, September12, 2022
Čyras, Kristijonas; Kampik, Timotheus; Cocarascu, Oana; et al.
Dispute Trees as Explanations in Quantitative (Bipolar) Argumentation
Argumentation for eXplainable AI
Čyras, Kristijonas; Kampik, Timotheus; Weng, Qingtao
JaCaMo Builders: Team Description for the Multi-agent Programming Contest 2020/21
The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems, Cham: Springer Nature 2021 : 134-157
Amaral, Cleber Jorge; Babireski Furio, Vitor Luis; Zagre Junior, Robson; et al.
Consistency Principles for Sequential Abstract Argumentation
Online Handbook of Argumentation for AI: volume 2, ArXiv 2021 : 22-26
Kampik, Timotheus
Norms and Policies for Agents on the Web
Autonomous Agents on the Web Dagstuhl (Dagstuhl Seminar 21072), Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing 2021 : 88-98
Kampik, Timotheus; Boissier, Olivier; Kirrane, Sabrina; et al.
The Degrees of Monotony-Dilemma in Abstract Argumentation
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings, Cham: Springer 2021 : 89-102
Kampik, Timotheus; Gabbay, Dov
Explainable Reasoning in Face of Contradictions: From Humans to Machines
Explainable and Transparent AI and Multi-Agent Systems: Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers, Cham: Springer 2021 : 280-295
Kampik, Timotheus; Gabbay, Dov
The Burden of Persuasion in Abstract Argumentation
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Springer 2021 : 224-243
Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni
Autonomous agents on the Edge of things
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 : 1767-1769
Kampik, Timotheus; Gomez, Andres; Ciortea, Andrei; et al.
Toward consistent agreement approximation in abstract argumentation and beyond
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 : 1551-1553
Kampik, Timotheus; Nieves, Juan Carlos
Abstract argumentation and the rational man
Journal of logic and computation (Print), Oxford University Press 2021, Vol. 31, (2) : 654-699
Kampik, Timotheus; Nieves, Juan Carlos
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Cham: Springer 2021 : 209-223
Kampik, Timotheus; Čyras, Kristijonas
Argumentation-based Health Information Systems: A Design Methodology
IEEE Intelligent Systems, Los Alamitos, CA, USA: IEEE Computer Society 2021, Vol. 36, (2) : 72-80
Lindgren, Helena; Kampik, Timotheus; Guerrero, Esteban; et al.
View publications in DiVA

Research groups

Head of research
Agents and Reasoning Group
Head of research
Formal Methods for Trustworthy Hybrid Intelligence
Group member
Interactive and Intelligent Systems

Research projects

1 January 2018 until 31 December 2021
Socially Intelligent Systems for Human-Agent Collaboration

Software, Logic, & AI