"False"
Hoppa direkt till innehållet
printicon
Huvudmenyn dold.
Personalbild Timotheus Kampik

Timotheus Kampik

Agents & Reasoning

Kontakt

E-post
Telefon

Verksam som

Anknytning
Biträdande universitetslektor vid Institutionen för datavetenskap
Plats
MIT-huset, Umeå universitet, MIT.C.420 Umeå universitet, 901 87 Umeå

Jag intresserar mig för agenter som resonerar, och för resonemang om agenter. Mitt fokus ligger på att studera resonemangsprinciper och på att förbättra mjukvarusystemens förmåga att resonera.

Process mining workshops, Cham: Springer Nature 2025 : 18-30
Brand, Jakob; Kampik, Timotheus; Okulmus, Cem; et al.
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
Autonomous Agents and Multi-Agent Systems, Springer Nature 2025, Vol. 39, (1)
Kampik, Timotheus; Nieves, Juan Carlos
Process Science, Springer 2025, Vol. 2, (1)
Kirchdorfer, Lukas; Blümel, Robert; Kampik, Timotheus; et al.
Process mining workshops, Cham: Springer Nature 2025 : 764-777
Schäfer, Dominik; Klessascheck, Finn; Kampik, Timotheus; et al.
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.
Business Process Management Forum: BPM 2024 Forum, Krakow, Poland, September 1–6, 2024, Proceedings, Springer 2024 : 55-71
Corea, Carl; Kampik, Timotheus; Montali, Marco
Journal of logic and computation (Print), Oxford University Press 2024, Vol. 34, (3) : 528-556
Kampik, Timotheus
Business Process Management Forum: BPM 2024. Krakow, Poland, September 1–6, 2024, Proceedings, Springer 2024 : 3-19
Kampik, Timotheus; Okulmus, Cem
International Journal of Approximate Reasoning, Elsevier 2024, Vol. 173
Kampik, Timotheus; Potyka, Nico; Yin, Xiang; et al.
International Journal of Approximate Reasoning, Amsterdam: Elsevier 2024, Vol. 164
Kampik, Timotheus; Čyras, Kristijonas; Alarcón, José Ruiz
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
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.
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.
Computational models of argument: proceedings of COMMA 2024, IOS Press 2024 : 361-362
Ruiz Alarcón, José; Kampik, Timotheus
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.
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
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
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.
Journal of logic and computation (Print), Oxford University Press 2023, Vol. 33, (2) : 257-288
Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni
Frontiers in Artificial Intelligence, Frontiers Media S.A. 2023, Vol. 6
Kilic, Kaan; Weck, Saskia; Kampik, Timotheus; et al.
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.
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.
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.
Report / UMINF, 22.02
Kampik, Timotheus
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
ACM Transactions on Internet Technology, Association for Computing Machinery (ACM) 2022, Vol. 22, (4)
Kampik, Timotheus; Mansour, Adnane; Boissier, Olivier; et al.
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
International Journal of Approximate Reasoning, Elsevier 2022, Vol. 140 : 173-210
Kampik, Timotheus; Nieves, Juan Carlos; Gabbay, Dov
Computational models of argument, IOS Press 2022 : 188-199
Kampik, Timotheus; Čyras, Kristijonas
Artificial Intelligence, Elsevier 2022, Vol. 302
Mualla, Yazan; Tchappi, Igor; Kampik, Timotheus; et al.
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.
Argumentation for eXplainable AI
Čyras, Kristijonas; Kampik, Timotheus; Weng, Qingtao
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.
Online Handbook of Argumentation for AI: volume 2, ArXiv 2021 : 22-26
Kampik, Timotheus
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.
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 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
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
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.
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
Journal of logic and computation (Print), Oxford University Press 2021, Vol. 31, (2) : 654-699
Kampik, Timotheus; Nieves, Juan Carlos
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Cham: Springer 2021 : 209-223
Kampik, Timotheus; Čyras, Kristijonas
IEEE Intelligent Systems, Los Alamitos, CA, USA: IEEE Computer Society 2021, Vol. 36, (2) : 72-80
Lindgren, Helena; Kampik, Timotheus; Guerrero, Esteban; et al.
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
AAMAS Proceedings 2020: Demonstration Track, ACM Digital Library 2020 : 2092-2094
Amaral, Cleber Jorge; Kampik, Timotheus; Cranefield, Stephen
Proceedings
Anjomshoae, Sule; Kampik, Timotheus; Främling, Kary
Workshop Program
Brännström, Andreas; Kampik, Timotheus; Nieves, Juan Carlos
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.

Forskningsprojekt

1 januari 2018 till 31 december 2021

Software, Logic, & AI