ASPARTIX-D Ready for the Competition: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Computational Logic, Knowledge Systems“ durch „|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme“) |
Irina Dragoste (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Vortragender=Sarah Alice Gaggl | |Vortragender=Sarah Alice Gaggl | ||
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme | |Forschungsgruppe=Computational Logic, Wissensbasierte Systeme | ||
|Event series=KBS Seminar | |||
|In News anzeigen=1 | |In News anzeigen=1 | ||
}} | }} | ||
Aktuelle Version vom 18. Oktober 2018, 06:06 Uhr
ASPARTIX-D Ready for the Competition
Vortrag von Sarah Alice Gaggl
- Veranstaltungsort: APB 3105
- Beginn: 4. Mai 2015 um 14:50
- Ende: 4. Mai 2015 um 15:50
- Forschungsgruppe: Computational Logic
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: KBS Seminar
- iCal
ASPARTIX-D is a system designed to evaluate abstract argumentation frameworks. It consists of collection of answer-set programming (ASP) encodings together with an optimal ASP (resp. SAT) solver configuration for each reasoning problem. In this talk we will give an overview of the modifications and the evalutation performed to make ASPARTIX-D
ready for the first International Competition on Computational Models of Argumentation (ICCMA 2015).
