Piotr Gorczyca

From International Center for Computational Logic

M.Sc. Piotr Gorczyca

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic
Piotr Gorczyca

I joined the Computational Logic group in September 2022 as a research associate within the KIMEDS project and a PhD student.

Prior to that, I completed my master's degree in Computational Logic at the TU Dresden where I simultaneously worked as a student assistant on topics related to answer set programming and assumption-based argumentation in the Logic Programming and Argumentation group.

Newest Publications

View full publication list

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
In Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner, eds., Proceedings of the 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), volume 3236, 59-72, October 2022. CEUR-WS
Details Download
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
View full publication list

Center for Perspicuous Computing


AI Assisted Certification of Medical Software