# Timotheus Kampik
I am researching principle-based automated reasoning, as well as the engineering of intelligent systems.
My primary employer is SAP, where I work as *Principal Scientist* for SAP Signavio (process intelligence).
In addition, I am Adjunct Associate Professor at the Department of Computing Science at Umeå University.
Bibliography
Not listed: white papers, extended abstracts and informally shared papers and reports. **The list here is updated infrequently. Also check DBLP.**
### Journals and Magazines
* Kurz, **Kampik**, Pufahl, Weber. "[Business Process Improvement with AB Testing and Reinforcement Learning: Grounded Theory-based Industry Perspectives](https://link.springer.com/article/10.1007/s10270-024-01229-2)". Software and Systems Modeling. 2024.
* **Kampik**, Potyka, Yin, Çyras, Toni. "[Contribution functions for quantitative bipolar argumentation graphs: A principle-based analysis](https://www.sciencedirect.com/science/article/pii/S0888613X24001427)". International Journal of Approximate Reasoning. 2024.
* **Kampik**, Warmuth, Rebmann, Agam, Egger, Gerber, Hoffart, Kolk, Herzig, Decker, Van der Aa, Polyvyanyy, Rinderle-Ma, Weber, Weidlich. "[Large Process Models: A Vision for Business Process Management in the Age of Generative AI](https://link.springer.com/article/10.1007/s13218-024-00863-8)". Künstliche Intelligenz. 2024.
* **Kampik**. "[Kettle Logic in Abstract Argumentation](https://academic.oup.com/logcom/article/34/3/528/7179234)". 2024. Journal of Logic and Computation. 2024.
* Rehse, Abb, Berg, Bormann, **Kampik**, Warmuth. "[User Behavior Mining: A Research Agenda](https://link.springer.com/article/10.1007/s12599-023-00848-1)". Business & Information Systems Engineering. 2024.
* **Kampik**, Çyras, Ruiz Alarcón. "[Change in quantitative bipolar argumentation: Sufficient, necessary, and counterfactual explanations](https://www.sciencedirect.com/science/article/pii/S0888613X23001974)". International Journal of Approximate Reasoning. 2024.
* Calbimonte, Ciortea, **Kampik**, Mayer, Payne, Tamma, Zimmermann. “[Autonomy in the Age of Knowledge Graphs: Vision and Challenges](https://drops.dagstuhl.de/entities/document/10.4230/TGDK.1.1.13)”. Transactions on Graph Data and Knowledge. 2023.
* **Kampik**, Gabbay, Sartor. "[A Comprehensive Account of the Burden of Persuasion in Abstract Argumentation](https://academic.oup.com/logcom/article/33/2/257/7005684)". Journal of Logic and Computation. 2023.
* **Kampik**, Nieves, Gabbay. "Ensuring Reference Independence and Cautious Monotony in Abstract Argumentation". International Journal of Approximate Reasoning. 2022.
* **Kampik**, Mansour, Boissier, Kirrane, Padget, Payne, Singh, Tamma, Zimmermann. Governance of Autonomous Agents on the Web: Challenges and Opportunities. In ACM Transactions on Internet Technology, Association for Computing Machinery. 2022.
* Mualla, Tchappi, **Kampik**, Najjar, Calvaresi, Abbas-Turki, Galland, Nicolle. "The Quest of Parsimonious XAI: a Human-Agent Architecture for Explanation Formulation". Artificial Intelligence. 2022.
* Lindgren, **Kampik**, Rosero, Blusi, Nieves. "Argumentation-based Health Information Systems: A Design Methodology". IEEE Intelligent Systems. 2021.
* **Kampik**, Nieves. "Abstract Argumentation and the Rational Man". Journal of Logic and Computation. 2021.
* **Kampik**, Najjar. "Simulating, off-chain and on-chain: Agent-based simulations in cross-organizational business processes". Information. 2020.
### Conference Papers
* Kirchdorfer, Blümel, **Kampik**, Van der Aa, Stuckenschmidt. "[AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation](https://arxiv.org/abs/2408.08571)". International Conference on Process Mining. 2024.
* Busch, **Kampik**, Leopold. "[xSemAD: Explainable Semantic Anomaly Detection in Event Logs Using Sequence-to-Sequence Models](https://arxiv.org/abs/2406.19763)". International Conference on Business Process Management. 2024.
* **Kampik**, Okulmus. "[Expressive Power and Complexity Results for SIGNAL, an Industry-scale Process Query Language](https://arxiv.org/abs/2310.14939)". Business Process Management Forum. 2024.
* Klievtsova, Mangler, **Kampik**, Rinderle-Ma. "Utilizing Process Models in the Requirements Engineering Process Through Model2Text Transformation". International Requirements Engineering Conference. 2024.
* Klietsova, Benzin, **Kampik**, Mangler, Rinderle-Ma. "[Conversational Process Modelling: State of the Art, Applications, and Implications in Practice](https://link.springer.com/chapter/10.1007/978-3-031-41623-1_19)". Business Process Management Forum. 2023.
* Aler Tubella, Coelho Mollo, Dahlgren, Devinney, Dignum, Ericson, Jonsson, **Kampik**, Lenaerts, Mendes, Nieves. “ACROCPoLis: a descriptive framework for making sense of fairness”. ACM Conference on Fairness, Accountability, and Transparency. 2023.
* Kurz, **Kampik**, Pufahl, Weber. “Reinforcement Learning-Supported AB Testing of Business Process Improvements: An Industry Perspective”. Enterprise, Business-Process and Information Systems Modeling. 2023.
* **Kampik**, Cyras. Explaining Change in Quantitative Bipolar Argumentation. COMMA. 2022.
* **Kampik**, Weske. "Event Log Generation: An Industry Perspective." BPMDS. 2022.
* Brännström, **Kampik**, Ruiz-Dolz, Taverner. "A Formal Framework for Designing Boundedly Rational Agents".
* **Kampik**, Gabbay. "The Degrees of Monotony-Dilemma in Abstract Argumentation". Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 2021.
* **Kampik**, Gabbay, Sartor. "The Burden of Persuasion in Abstract Argumentation". Logic and Argumentation. 2021.
* **Kampik**, Cyras. "Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation". Logic and Argumentation. 2021.
* Mualla, Tchappi, Najjar, **Kampik**, Galland, Nicolle. "Human-Agent Explainability: An Experimental Case Study on the Filtering of Explanations". ICAART. 2020.
* **Kampik**, Najjar. "Technology-facilitated Societal Consensus". UMAP. 2019.
* **Kampik**, Malhi, Främling. "Agent-based Business Process Orchestration for IoT". WI. 2019.
* **Kampik**, Nieves, Lindgren. "Implementing Argumentation-enabled Empathic Agents". EUMAS. 2018.
* **Kampik**, Larsen, Bellika. "Internet-based remote consultations-general practitioner experience and attitudes in Norway and Germany". MIE. 2015.
### Formally Published Workshop Papers or Post-Proceedings Book Chapters
* Mendes, **Kampik**, Aler Tubella, Dignum. "[A Clearer View on Fairness: Visual and Formal Representations
for Comparative Analysis](https://ecp.ep.liu.se/index.php/sais/article/download/1005/913/1027)". The 14th Scandinavian Conference on AI. 2024.
* Corea, **Kampik**, Delfmann. "Empirical Evidence of DMN Errors in the Wild - An SAP Signavio Case Study". DEC2H. 2023.
* Cyras, **Kampik**, Weng. "Dispute Trees as Explanations in Quantitative (Bipolar) Argumentation". ArgXAI. 2022.
* **Kampik**, Najjar. "Integrating Multi-agent Simulations into Enterprise Application Landscapes". PAAMS/BCT4MAS. 2019.
* **Kampik**, Nieves, Lindgren. "Explaining Sympathetic Actions of Rational Agents". EXTRAAMAS 2019.
* **Kampik**, Nieves. "JS-son - A Lean, Extensible JavaScript Agent Programming Library". EMAS. 2019.
* **Kampik**, Najjar, Calvaresi. "MAS-Aided Approval for Bypassing Decentralized Processes: an Architecture". WI/BCT4MAS. 2018.
* **Kampik**, Nieves, Lindgren. "Coercion and deception in persuasive technologies". 20th International Trust Workshop. Stockholm, 2018.
* **Kampik**, Nieves, Lindgren. "Empathic Autonomous Agents". EMAS. 2018.
### Edited Books or Proceedings
* Cyras, **Kampik**, Cocarascu, Rago. "Proceedings of the 1st International Workshop on Argumentation for eXplainable AI (ArgXai)". 2022.
### Demonstration (Short) Papers
* Amaral, Hübner, **Kampik**. "TDD for AOP: Test-Driven Development for Agent-Oriented Programming". AAMAS. 2023.
* Bergman, Rebmann, **Kampik**. “BPMN2Constraints: Breaking Down BPMN Diagrams into Declarative Process Query Constraints”. BPM (Demo and Resources Track). 2023.
* Bein, Klessascheck, Nepeina, Warmuth, **Kampik**, Pufahl. “SimuBridge: Discovery and Management of Process Simulation Scenarios”. BPM (Demo and Resources Track). 2023.
* Kurz, Santelmann, Großmann, **Kampik**, Pufahl, Weber. "HITL-AB-BPM: Business Process Improvement with
AB Testing and Human-in-the-Loop". BPM (Demo and Resources Track). 2022.
* **Kampik**, Gabbay. "Towards DiArg: An Argumentation-based Dialogue Reasoning Engine". SAFA. 2020.
* Amaral, **Kampik**, Cranefield. "A Framework for Collaborative and Interactive Agent-oriented Developer Operations". AAMAS 2020.
* **Kampik**, Gomez, Ciortea, Mayer. "Autonomous Agents on the Edge of Things". AAMAS. 2021.
* Mualla, **Kampik**, Tchappi, Najjar, Galland, Nicolle. "Explainable Agents as Static Web Pages: UAV Simulation Example". EXTRAAMAS. 2020.
* Amaral, Hübner, **Kampik**. "Towards Jacamo-rest: A Resource-Oriented Abstraction for Managing Multi-Agent Systems". WESAAC. 2020. Best Post-Graduate Student Paper.
### Reports and Report Chapters
* Co-author of several chapters/abstracts of the Dagstuhl Seminar Report on "Autonomous Agents on the Web" (2021), as well as of "Agents on the Web" (2023).
* Mascardi, ..., **Kampik** et al. "Engineering Multi-Agent Systems: State of Affairs and the Road Ahead". ACM SIGSOFT Software Engineering Notes. 2019.
# Curriculum Vitae
## Academic Research & Teaching Positions
* Since 2023: Adjunct Associate Professor, Department of Computing Science, Umeå University, Sweden
* 2021-2023: University Teacher, Department of Computing Science, Umeå University, Sweden
* 2018-2021: PhD Student, Department of Computing Science, Umeå University, Sweden
* 2014: Teaching Assistant. UiT – The Arctic University of Norway, Tromsø, Norway.
* 2014: Software Developer. Norwegian Centre for E-health Research, Tromsø, Norway.
## Industry Experience
* Since 2021: Principal Scientist in Residence (Expert). SAP. Berlin, Germany/Stockholm, Sweden.
* 2020 - 2021: Scientist in Residence. Signavio. Berlin, Germany.
* 2018 - 2020: Product Analyst. Signavio. Berlin, Germany.
* 2015-2018: Software Engineer. Signavio. Berlin, Germany.
* 2012-2015: Mixed IT/QA Engineer. Signavio. Berlin, Germany.
## Higher Education
* 2022: PhD in Computing Science. Umeå University. Umeå, Sweden.
* 2020: Licentiate in Computing Science. Umeå University. Umeå, Sweden.
* 2015: Master of Science in Telemedicine and eHealth. UiT - The Arctic University of Norway. Tromsø, Norway.
* 2012: Bachelor in IT and Information Systems. University of Agder. Kristiansand, Norway.
## Teaching
Umeå University
* 2022/2023/2024: Software Engineering. Lectures and Labs.
* 2019/2020/2021: Introduction to AI for Industry. Lectures and Labs.
* 2020/2021/2022/2023: Fundamentals of Artificial Intelligence. Lectures and Labs.
* 2019/2020/2021/2022/2023: Artificial Intelligence: Methods and Applications. Lectures and Labs.
Arctic University of Norway
* 2014: Advanced Telemedicine and e-Health Systems. Labs.
## Supervision
Umeå University
* Master Thesis: "Integrating Machine Learning into Constraint Programming for Radio Recommendation in Radio Access Networks" (José Ruiz Alarcón, 2023)
* Master Thesis: "Influence of Bold Text on Decision-Making within Formal Argumentation" (Leo Evijärvi, 2023)
* Master Thesis: "Designing a Mobile Application to Measure Walking Speed for NPH Patients" (Martin Lindén, 2023)
* Bachelor Thesis: "Imperative Models to Declarative Constraints: Generating Control-Flow Constraints from Business Process Models" (Arvid Bergman Thörn, 2023)
* Master Thesis: "Human-Aware Planning for Promoting Social Behavior-Change in Autism" (Andreas Brännströmm, 2020)
* Bachelor Theses: "Towards Dialogue Models for Online Grooming Detection" (Tobiaz Paulsson, 2020), "Reaction Time-based Deception Detection" (Johannes Parsmo, 2020)
SAP
* At SAP, I am typically supervising 1-3 bachelor or master theses at a time, as the industrial supervisor.
* In addition, I have supervised two bachelor theses at SRH - Berlin University of Applied Sciences as external examiner.
## Conference/Workshop Co-Organization
**Co-Chairing**:
* 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, 2022)
* 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI, 2024)
**Publiciy & Assistance**:
* International Workshop on EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS, 2019, 2020, 2021)
* International Workshop on Block Chain Technologies 4 Multi-Agent Systems (BCT4MAS, 2018, 2019)
* 31st Workshop of the Swedish Artificial Intelligence Society (SAIS, 2019)
**Session Chairing**:
* International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE, 2021)
## Academic Administration Committees
* 2019 - 2022: Member of the [PhD Student Council](https://wasp-sweden.org/about/phd-student-council/) of the Wallenberg AI, Autonomous Systems and Software Program (WASP).
* 2018 - 2022: Member of Council for Doctoral Education. Department of Computing Science. Umeå University. Umeå, Sweden.
## Journal Reviewer Activity
Artificial Intelligence (AIJ), ACM Transactions on Internet Technology, Logic and Computation, Approximate Reasoning, Information Systems, Information & Computation, IEEE Transactions on Services Computing, Artificial Intelligence in Medicine, Information Management Data Insights, Journal of Open Source Software
## Program Committees Activity
* Conferences: AAAI (2019, 2020, 2021, 2022), AAMAS (2022, 2024), COMPASS (2021, 2022), The Web Conference, formerly WWW (2023, 2024), ICLP (2023), ECAI (2023, 2024), AAMAS Demos (2024), ECAI Demos (2024), KR (Journal First Track, 2024), RuleML+RR (2024), EUMAS (2024)
* Workshops and other semi-formal venues: AI for Social Good Workshop (co-located with IJCAI 2019, 2020), SAIS (2019), EXTRAAMAS (2019, 2020, 2021, 2022, 2023), BCT4MAS (2018, 2019), DeceptAI (2020, 2021), OHAAI (2021, 2022, 2023)
## Conference Reviewer Activity (non-PC):
* KR (2020), AAMAS (2019, 2020), Wirtschaftsinformatik (2024), HICSS (2024)
## Open-source and Open Standards Involvement
* 2018, 2023/24: Vendor representative in the [OMG BPMN Model Interchange Group (MIWG)](http://www.omgwiki.org/bpmn-miwg/doku.php).
* Since 2015: Contributor to different open-source projects, see: [http://github.com/TimKam/](http://github.com/TimKam/).
## Seminars and Public Outreach (Selection)
* Workshop Keynote at ICPM 2022 with David Eickhoff: *Data-driven and Knowledge-based Process Querying across Processes and Organizations*. 2022.
* Presentation at Springer's Logica Universalis seminar series with Dov Gabbay: *The Talmudic Logic Project*. 2021.
* Tutorial at AAMAS conference, with Juan Carlos Nieves: *[Argumentation-based Dialogues and their Application to Interactive Intelligent Systems](https://people.cs.umu.se/tkampik/tutorial/aamas2021.html#)*. 2021.
* Presentation at Imperial College (London), [XAI seminar](http://xaiseminars.doc.ic.ac.uk/): *Principle-based and Explainable Reasoning: From Humans to Machines*. 2021.
* Presentation at Ericsson Research, Trustworthy AI seminar: *Reasoning: From Humans to Machines*. 2021.
* Participation and presentation, Dagstuhl Seminar on Autonomous Agents and the Web. 2021.
* Presentation at the "[AI & Art Kick-off](https://airobolab.uni.lu/invited-speakers/)", European Capital of Culture 2022: *Art Evolves Life - A Sound-Driven Game of Life*. 2020.
* Presentation at University of Luxembourg: *Economic Rationality and Artificial Intelligence*.
* Presentation at Umeå University ([AI@UmU](http://umuais.cs.umu.se/)): *Why We Should Embrace Open-source Community Approaches to AI Research*. 2018.
* Interview: *Sveriges Radio*. *P3 Dystopia*. The *Dystopia* team used snippets of the interview in their *[Artificiell intelligens](https://sverigesradio.se/sida/avsnitt/1177786?programid=5188)* episode. 2018.
* Presentation at *eHealth Mini-Symposium*. Umeå University: *Artificial Intelligence for Improving Health*. 2018.
## Erdős Number
3: Kampik, Gabbay -> Gabbay, Shelah -> Shelah, Erdős
## Awards
* Best Paper Award \w Lukas Kirchdorfer, Robert Blümel, Han van der Aa, and Heiner Stuckenschmidt, ICPM 2024.
* Best Program Committee Member Award, AAMAS 2022
* Best Post-Graduate Student Paper Award \w Cleber Amaral and Jomi Fred Hübner, WESAAC 2020
## Social Media
* [GitHub](https://github.com/TimKam/)
* [StackOverflow](https://stackoverflow.com/users/3467824/timotheus-kampik)
* [Twitter](https://twitter.com/Ti_Kam)
* [ResearchGate](https://www.researchgate.net/profile/Timotheus_Kampik)
* [Google Scholar](https://scholar.google.se/citations?user=F8Z9QywAAAAJ)
## Funding
Much of my research has been funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP), which is--in turn--funded by the Knut and Alice Wallenberg Foundation.
Research that I conduct and disseminate as part of my industry role is funded by SAP.
Opinions are my own.
