Piotr Gorczyca: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Piotr Gorczyca (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Piotr Gorczyca (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 11: Zeile 11:
|Raum=APB 2039
|Raum=APB 2039
|Bild=Pgorczyca photo.jpg
|Bild=Pgorczyca photo.jpg
|Info=Piotr Gorczyca arbeitet in der Gruppe Logische Programmierung und Argumentation im Sonderforschungsbereich 248 '''Grundlagen verständlicher Softwaresysteme''' ([[CPEC|Center for Perspicuous Computing, CPEC]]), Teilprojekt E3 an der Entwicklung eines Systems für Dispute Derivations von Assumption-based Argumentation Frameworks.
|Info=I joined the Computational Logic group in September 2022 as a research associate within the KIMEDS project and a PhD student.
|Info EN=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 [[CPEC |Center for Perspicuous Computing (CPEC)]]. The software will be used for further research related to Answer Set Programming.
 
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 answer set programming and assumption-based argumentation in the Logic Programming and Argumentation group.
|Info EN=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 answer set programming and assumption-based argumentation in the Logic Programming and Argumentation group.
|Publikationen anzeigen=1
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Abschlussarbeiten anzeigen=0

Version vom 20. Januar 2023, 15:22 Uhr

M.Sc. Piotr Gorczyca

Wissenschaftlicher MitarbeiterTechnische 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 answer set programming and assumption-based argumentation in the Logic Programming and Argumentation group.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Piotr Gorczyca, Hannes Straß
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 387-400, 2022. Springer
Details
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
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
Komplette Publikationsliste anzeigen
KIMEDS.jpg

KIMEDS
KI-assistierte Zertifizierung medizinischer Software