Piotr Gorczyca: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sarah Gaggl (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sarah Gaggl (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Bild=Pgorczyca photo.jpg | |Bild=Pgorczyca photo.jpg | ||
|Info=Piotr Gorczyca arbeitet in der Gruppe Logische Programmierung und Argumentation im | |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 EN=Piotr Gorczyca develops a | |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. | ||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen=0 | |Abschlussarbeiten anzeigen=0 | ||
| Zeile 13: | Zeile 13: | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet=Answer Set Programming | |Forschungsgebiet=Answer Set Programming | ||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Abstrakte Argumentation | |||
}} | }} | ||
Version vom 18. Mai 2021, 09:51 Uhr
Piotr Gorczyca
Studentische Hilfskraft Logische Programmierung und Argumentation
Piotr Gorczyca arbeitet in der Gruppe Logische Programmierung und Argumentation im Sonderforschungsbereich 248 Grundlagen verständlicher Softwaresysteme (Center for Perspicuous Computing, CPEC), Teilprojekt E3 an der Entwicklung eines Systems für Dispute Derivations von Assumption-based Argumentation Frameworks.
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
