Autor der Publikation

ADF - BDD : An ADF Solver Based on Binary Decision Diagrams

, , , und . Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), Volume 220146 von FAIA, Seite 355--356. IOS Press, (September 2022)
DOI: 10.3233/FAIA220170

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.

Keine Personen gefunden für den Autorennamen Rusovac, Dominik
Eine Person hinzufügen mit dem Namen Rusovac, Dominik
 

Weitere Publikationen von Autoren mit dem selben Namen

ADF - BDD : An ADF Solver Based on Binary Decision Diagrams, , , und . Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), Volume 220146 von FAIA, Seite 355--356. IOS Press, (September 2022)NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces, , , , , und . Computational Models of Argument: Proceedings of COMMA 2022, (2022)Representing abstract dialectical frameworks with binary decision diagrams, , , und . Logic Programming and Nonmonotonic Reasoning, Springer International Publishing, Cham, (2022)NEXAS: A visual tool for navigating and exploring argumentation solution spaces, , , , , und . Computational Models of Argument, IOS Press, (September 2022)