Piotr Gorczyca

From International Center for Computational Logic

Piotr Gorczyca

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

Piotr Gorczyca develops a system for dispute derivations of Assumption-based Argumentation Frameworks at the logic programming and argumentation group, within the Transregional Collaborative Research Centre 248 Center for Perspicuous Computing (CPEC). The software will be used for further research related to Answer Set Programming.

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
Details
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
CPEC-logo.png

CPEC
Center for Perspicuous Computing

KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software