Piotr Gorczyca: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
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=I joined the Computational Logic group in September 2022 as a research associate within the KIMEDS project and a PhD student. | |Info=I joined the [https://iccl.inf.tu-dresden.de/web/Computational_Logic Computational Logic] group in September 2022 as a research associate within the [https://iccl.inf.tu-dresden.de/web/KIMEDS/en 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. | 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 [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation 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. | |Info EN=I joined the [https://iccl.inf.tu-dresden.de/web/Computational_Logic Computational Logic] group in September 2022 as a research associate within the [https://iccl.inf.tu-dresden.de/web/KIMEDS/en 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. | 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 [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logic Programming and Argumentation] group. | ||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen=0 | |Abschlussarbeiten anzeigen=0 | ||
Version vom 20. Januar 2023, 15:33 Uhr
M.Sc. Piotr Gorczyca
Wissenschaftlicher Mitarbeiter Computational Logic
- piotr.gorczyca@tu-dresden.de
- Chat (Matrix ): @pigo271b:tu-dresden.de
- +49 351 463 43549
- APB 2039
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
KIMEDS
KI-assistierte Zertifizierung medizinischer Software
