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 Ellmauthaler, Stefan
Eine Person hinzufügen mit dem Namen Ellmauthaler, Stefan
 

Weitere Publikationen von Autoren mit dem selben Namen

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments, , , , , und . Artif. Intell., (März 2018)Advanced solving technology for dynamic and reactive applications, , , , , , , und . KI - Künstl. Intell., 32 (2-3): 199--200 (August 2018)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)Answering queries with negation over existential rules, , und . Proc. Conf. AAAI Artif. Intell., 36 (5): 5626--5633 (Juni 2022)Nemo: First glimpse of a new rule engine, , , , , , und . (2023)Representing abstract dialectical frameworks with binary decision diagrams, , , und . Logic Programming and Nonmonotonic Reasoning, Springer International Publishing, Cham, (2022)