Timotheus Kampik

Mr. Timotheus Kampik

orcid

Research Focus & Metrics

Academic Career Length

8Years (2019-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
26 July 2024 in KI - Künstliche Intelligenz
Verified
Journal Article
Open access
PDF file
TKTimotheus Kampik
Timotheus Kampik
CWChristian Warmuth
Christian Warmuth
ARAdrian Rebmann
Adrian Rebmann
RARon Agam
Ron Agam
LELukas N. P. Egger
Lukas N. P. Egger
MWMatthias Weidlich
Matthias Weidlich
The continued success of Large Language Models (LLMs) and other generative artificial intelligence approaches highlights the advantages that large information corpora can have over rigidly defined symbolic models, but also serves as a proof-point of the challenges that purely statistics-based approaches have in terms of safety and trustworthiness. As a framework for contextualizing the potential, as well as the limitations of LLMs and other foundation model-based technologies, we propose the concept of a Large Process Model (LPM) that combines the correlation power of LLMs with the analytical precision and reliability of knowledge-based systems and automated reasoning approaches. LPMs are envisioned to directly utilize the wealth of process management experience that experts have accumulated, as well as process performance data of organizations with diverse characteristics, e.g., regarding size, region, or industry. In this vision, the proposed LPM would enable organizations to receive context-specific (tailored) process and other business models, analytical deep-dives, and improvement recommendations. As such, it would allow to substantially decrease the time and effort required for business transformation, while also allowing for deeper, more impactful, and more actionable insights than previously possible. We argue that implementing an LPM is feasible, but also highlight limitations and research challenges that need to be solved to implement particular aspects of the LPM vision.

1 September 2023
Verified
Book Chapter
Closed access
PDF file
NKNataliia Klievtsova
Nataliia Klievtsova
JBJanik-Vasily Benzin
Janik-Vasily Benzin
TKTimotheus Kampik
Timotheus Kampik
JMJuergen Mangler
Juergen Mangler
SRStefanie Rinderle-Ma
Stefanie Rinderle-Ma

1 January 2022 in Artificial Intelligence
Verified
Journal Article
Closed access
Yazan MuallaYazan Mualla
Yazan Mualla
ITIgor Tchappi
Igor Tchappi
TKTimotheus Kampik
Timotheus Kampik
ANAmro Najjar
Amro Najjar
DCDavide Calvaresi
Davide Calvaresi
CNChristophe Nicolle
Christophe Nicolle

26 March 2023
Verified
Book Chapter
Open access
PDF file
DSDiana Sola
Diana Sola
CWChristian Warmuth
Christian Warmuth
BSBernhard Schäfer
Bernhard Schäfer
PBPeyman Badakhshan
Peyman Badakhshan
JRJana-Rebecca Rehse
Jana-Rebecca Rehse
TKTimotheus Kampik
Timotheus Kampik
In this paper, we introduce the SAP Signavio Academic Models (SAP-SAM) dataset, a collection of hundreds of thousands of business models, mainly process models in BPMN notation. The model collection is a subset of the models that were created over the course of roughly a decade on academic.signavio.com, a free-of-charge software-as-a-service platform that researchers, teachers, and students can use to create business (process) models. We provide a preliminary analysis of the model collection, as well as recommendations on how to work with it. In addition, we discuss potential use cases and limitations of the model collection from academic and industry perspectives.

14 November 2022 in ACM Transactions on Internet Technology
Verified
Journal Article
Open access
TKTimotheus Kampik
Timotheus Kampik
AMAdnane Mansour
Adnane Mansour
OBOlivier Boissier
Olivier Boissier
SKSabrina Kirrane
Sabrina Kirrane
JPJulian Padget
Julian Padget
AZAntoine Zimmermann
Antoine Zimmermann
The study of autonomous agents has a long history in the Multiagent System and the Semantic Web communities, with applications ranging from automating business processes to personal assistants. More recently, the Web of Things (WoT), which is an extension of the Internet of Things (IoT) with metadata expressed in Web standards, and its community provide further motivation for pushing the autonomous agents research agenda forward. Although representing and reasoning about norms, policies, and preferences is crucial to ensuring that autonomous agents act in a manner that satisfies stakeholder requirements, normative concepts, policies, and preferences have yet to be considered as first-class abstractions in Web-based multiagent systems. Towards this end, this article motivates the need for alignment and joint research across the Multiagent Systems, Semantic Web, and WoT communities, introduces a conceptual framework for governance of autonomous agents on the Web, and identifies several research challenges and opportunities.

28 October 2023 in International Journal of Approximate Reasoning
Verified
Journal Article
Open access
TKTimotheus Kampik
Timotheus Kampik
KČKristijonas Čyras
Kristijonas Čyras
JAJosé Ruiz Alarcón
José Ruiz Alarcón
This paper presents a formal approach to explaining change of inference in Quantitative Bipolar Argumentation Frameworks (QBAFs). When drawing conclusions from a QBAF and updating the QBAF to then again draw conclusions (and so on), our approach traces changes – which we call strength inconsistencies – in the partial order over argument strengths that a semantics establishes on some arguments of interest, called topic arguments. We trace the causes of strength inconsistencies to specific arguments, which then serve as explanations. We identify sufficient, necessary, and counterfactual explanations for strength inconsistencies and show that strength inconsistency explanations exist if and only if an update leads to strength inconsistency. We define a heuristic-based approach to facilitate the search for strength inconsistency explanations, for which we also provide an implementation.