Name Card

Full name Familienname, Vorname
Verheij, Bart
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Keshavarzi Zafarghandi, Atefeh ; Dvorak, Wolfgang ; Verbrugge, Rineke ; Verheij, Bart How complex is the strong admissibility semantics for abstract dialectical frameworks?Inproceedings Konferenzbeitrag 7-Sep-2022
2Keshavarzi Zafarghandi, Atefeh ; Dvorak, Wolfgang ; Verbrugge, Rineke ; Verheij, Bart Computational Complexity of Strong Admissibility for Abstract Dialectical FrameworksPräsentation Presentation2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kim, Eun Jung ; Ordyniak, Sebastian Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
2Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes Complexity of logic-based argumentation in Schaefer's frameworkKonferenzbeitrag Inproceedings 2012
3Dvorak, Wolfgang ; Spanring, Christof Comparing the Expressiveness of Argumentation SemanticsKonferenzbeitrag Inproceedings 2012
4Charwat, Günther ; Dvorak, Wolfgang dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning ToolKonferenzbeitrag Inproceedings 2012
5Dvorak, Wolfgang ; Gaggl, Sarah Computational Aspects of cf2 and stage2 Argumentation Semantics.Konferenzbeitrag Inproceedings 2012
6Ellmauthaler, Stefan ; Wallner, Johannes Peter Evaluating Abstract Dialectical Frameworks with ASPKonferenzbeitrag Inproceedings 2012
7Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Fourth International Conference on Computational Models of Argument (COMMA 2012)Konferenzband Proceedings2012