3 citations · 3 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
Strength Change Explanations in Quantitative Argumentation
Timotheus Kampik, Xiang Yin, Nico Potyka +1
In order to make argumentation-based inference contestable, it is crucial to explain what changes can achieve a desired (instead of the contested) inference result. To this end, we…
Implementing Agents in JavaScript
Timotheus Kampik
This chapter gives an introduction to agent-oriented programming in JavaScript. It provides an example-based walk-through of how to implement abstractions for reasoning loop agents…
AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation
Lukas Kirchdorfer, Robert Blümel, Timotheus Kampik +2
Business process simulation (BPS) is a versatile technique for estimating process performance across various scenarios. Traditionally, BPS approaches employ a control-flow-first pe…