Umeå universitet
printicon
Huvudmenyn dold.
Personalbild Timotheus Kampik

Timotheus Kampik

Jag forskar om socialt intelligenta system.

Kontakt

E-post
timotheus.kampik@umu.se
Telefon

Verksam vid

Anknytning
Anknuten som timlärare till Institutionen för datavetenskap
Plats
MIT-huset, Umeå universitet Umeå universitet, 901 87 Umeå

Mina forskningsintressen är multi-agenta system, övertygande teknik och socio-tekniska system.

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
Kampik, Timotheus; Mansour, Adnane; Boissier, Olivier; et al.
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
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.
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.
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 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
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.
Towards Jacamo-rest: A Resource-Oriented Abstraction for Managing Multi-Agent Systems
Proceedings of the 14th Workshop-School on Agents, Environments, and Applications (WESAAC 2020), Ponta Grossa: Universidade Tecknologica Federal do parana (UTFPR) 2020 : 140-151
Amaral, Cleber Jorge; Hübner, Jomi F.; Kampik, Timotheus
A Framework for Collaborative and Interactive Agent-oriented Developer Operations
AAMAS Proceedings 2020: Demonstration Track, ACM Digital Library 2020 : 2092-2094
Amaral, Cleber Jorge; Kampik, Timotheus; Cranefield, Stephen
Py-CIU: A Python Library for Explaining Machine Learning Predictions Using Contextual Importance and Utility
Proceedings
Anjomshoae, Sule; Kampik, Timotheus; Främling, Kary
Towards Human-Aware Epistemic Planning For Promoting Behavior-Change
Workshop Program
Brännström, Andreas; Kampik, Timotheus; Nieves, Juan Carlos
Ethical concerns and opportunities in binding intelligent systems and blockchain technology
Highlights in practical applications of agents, multi-agent systems, and trust-worthiness. The PAAMS Collection: International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings, Springer 2020 : 5-16
Calvaresi, Davide; Piguet, Jean-Gabriel; Calbimonte, Jean-Paul; et al.
Economic rationality and abstract argumentation
Online handbook of argumentation for AI: volume 1, arXiv 2020 : 7-11
Kampik, Timotheus
Formal models of bounded rationality for autonomous agents
Report / UMINF, 20.13
Kampik, Timotheus
Towards DiArg: An Argumentation-based Dialogue Reasoning Engine
SAFA 2020: Systems and Algorithms for Formal Argumentation 2020: Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation, Technical University of Aachen 2020 : 14-21
Kampik, Timotheus; Gabbay, Dov
Simulating, Off-Chain and On-Chain: Agent-Based Simulations in Cross-Organizational Business Processes
Information, Basel: MDPI 2020, Vol. 11, (1)
Kampik, Timotheus; Najjar, Amro
JS-son: A Lean, Extensible JavaScript Agent Programming Library
Engineering Multi-Agent Systems, Cham: Springer 2020 : 215-234
Kampik, Timotheus; Nieves, Juan Carlos
Explainable Agents as Static Web Pages: UAV Simulation Example
Explainable, Transparent Autonomous Agents and Multi-Agent Systems: Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9–13, 2020, Revised Selected Papers, Cham: 2020 : 149-154
Mualla, Yazan; Kampik, Timotheus; Tchappi, Igor; et al.
Human-Agent Explainability: An Experimental Case Study on the Filtering of Explanations
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, SciTePress 2020 : 378-385
Mualla, Yazan; Tchappi, Igor; Najjar, Amro; et al.
Empathic Agents: A Hybrid Normative/Consequentialistic Approach
AAMAS 2019, ASSOC COMPUTING MACHINERY 2019 : 2423-2425
Kampik, Timotheus
Agent-based Business Process Orchestration for IoT
WI '19 IEEE/WIC/ACM International Conference on Web Intelligence, New York: ACM Press 2019 : 393-397
Kampik, Timotheus; Malhi, Avleen; Främling, Kary
Integrating Multi-agent Simulations into Enterprise Application Landscapes
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection. PAAMS 2019 : 100-111
Kampik, Timotheus; Najjar, Amro
Technology-facilitated Societal Consensus
UMAP'19 Adjunct: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization, Larnaca, Cyprus: ACM Digital Library 2019 : 3-7
Kampik, Timotheus; Najjar, Amro
JS-son - A Minimal JavaScript BDI Agent Library
EMAS 2019: Accepted Papers
Kampik, Timotheus; Nieves, Juan Carlos
Empathic autonomous agents
Engineering multi-agent systems: 6th international workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, revised selected papers, Cham: Springer 2019 : 181-201
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Explaining Sympathetic Actions of Rational Agents
Explainable, Transparent Autonomous Agents and Multi-Agent Systems: First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers, Cham: Springer 2019 : 59-76
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Explaining Machine Learning-based Classifications of in-vivo Gastral Images
2019 Digital Image Computing: Techniques and Applications (DICTA), Perth, Australia 2 December - 4 December 2019, IEEE 2019 : 530-536
Malhi, Avleen; Kampik, Timotheus; Pannu, Husanbir; et al.
MAS-Aided Approval for Bypassing Decentralized Processes: an Architecture
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), IEEE Computer Society 2018 : 713-718
Kampik, Timotheus; Najjar, Amro; Calvaresi, Davide
Coercion and deception in persuasive technologies
Proceedings of the 20th International Trust Workshop, CEUR-WS 2018 : 38-49
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Towards empathic autonomous agents
6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), Stockholm, Sweden, 14–15 July, 2018
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Implementing Argumentation-enabled Empathic Agents
Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers, Springer Berlin/Heidelberg 2018 : 140-155
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Visa publikationer i DiVA

Forskargrupper

Gruppmedlem
Interactive and Intelligent Systems

Forskningsprojekt

1 januari 2018 till 31 december 2021
Socially Intelligent Systems for Human-Agent Collaboration