PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ellmauthaler, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Nemo: First glimpse of a new rule engine

, , , , , , und . (2023)

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)Answering queries with negation over existential rules, , und . Proc. Conf. AAAI Artif. Intell., 36 (5): 5626--5633 (Juni 2022)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. Netherlands, IOS Press, Amsterdam u. a., (01.09.2022)Funding Information: 1This work is partly supported by the BMBF, Grant 01IS20056 NAVAS, by the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), and by the DFG through the Collaborative Research Center, Grant TRR 248 project ID 389792660. 2https://github.com/ellmau/adf-obdd, version 0.2.4, https://crates.io/crates/adf_bdd 3https://crates.io/crates/biodivine-lib-bdd.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)Winning Snake: Design Choices in Multi-Shot ASP, , und . (2024)