Autor der Publikation

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.

, , und . J. Artif. Intell. Res., (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

IASCAR: Incremental Answer Set Counting by Anytime Refinement., , , und . CoRR, (2023)The cf2 argumentation semantics revisited., und . J. Log. Comput., 23 (5): 925-949 (2013)The ASPARTIX System Suite., , , , und . COMMA, Volume 326 von Frontiers in Artificial Intelligence and Applications, Seite 461-462. IOS Press, (2020)Introducing the Second International Competition on Computational Models of Argumentation., , , und . SAFA@COMMA, Volume 1672 von CEUR Workshop Proceedings, Seite 4-9. CEUR-WS.org, (2016)ADF-BDD: An ADF Solver Based on Binary Decision Diagrams., , , und . COMMA, Volume 353 von Frontiers in Artificial Intelligence and Applications, Seite 355-356. IOS Press, (2022)Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation., , und . CLAR, Volume 13040 von Lecture Notes in Computer Science, Seite 147-168. Springer, (2021)Simulating Sets in Answer Set Programming., , und . IJCAI, Seite 2634-2640. ijcai.org, (2022)Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)., , und . CoRR, (2016)Design and results of the Second International Competition on Computational Models of Argumentation., , , und . Artif. Intell., (2020)Foundations of Implementations for Formal Argumentation., , , und . FLAP, (2017)