Autor der Publikation

Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.

, , und . Business Process Management Workshops, Volume 492 von Lecture Notes in Business Information Processing, Seite 396-408. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Distinguishability in Abstract Argumentation., , , , und . KR, Seite 686-690. (2021)Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP., , und . Business Process Management Workshops, Volume 492 von Lecture Notes in Business Information Processing, Seite 396-408. Springer, (2023)Graph Neural Networks for Algorithm Selection in Abstract Argumentation., , und . ArgML@COMMA, Volume 3208 von CEUR Workshop Proceedings, Seite 81-95. CEUR-WS.org, (2022)On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation., , und . COMMA, Volume 353 von Frontiers in Artificial Intelligence and Applications, Seite 224-235. IOS Press, (2022)Integrating Feedforward Design into a Generative Network to Synthesize Supplementary Training Data for Object Classification., , und . ICARSC, Seite 215-220. IEEE, (2021)A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure., , , und . SUM, Volume 13562 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2022)Paraconsistent reasoning for inconsistency measurement in declarative process specifications., , , und . Inf. Syst., (2024)Computing MUS-Based Inconsistency Measures., , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 745-755. Springer, (2023)A Discussion of Challenges in Benchmark Generation for Abstract Argumentation., und . Arg&App@KR, Volume 3472 von CEUR Workshop Proceedings, Seite 78-84. CEUR-WS.org, (2023)Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study., , und . RATIO, Volume 14638 von Lecture Notes in Computer Science, Seite 185-201. Springer, (2024)