Autor der Publikation

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

A new algorithm to automate inductive learning of default theories., , und . Theory Pract. Log. Program., 17 (5-6): 1010-1026 (2017)Logic-Based Explainable and Incremental Machine Learning., , , , , , , und . Prolog: The Next 50 Years, Volume 13900 von Lecture Notes in Computer Science, Springer, (2023)Semantic Analysis of Assurance Cases using s(CASP)., , , , , , , , und . ICLP Workshops, Volume 3437 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Graph Based Answer Set Programming Solver Systems., , und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)LTL Model Checking using Coinductive Answer Set Programming., , , , und . ICLP Workshops, Volume 3193 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Prolog: Past, Present, and Future., , , , , , , , , und 3 andere Autor(en). Prolog: The Next 50 Years, Volume 13900 von Lecture Notes in Computer Science, Springer, (2023)Theory Revision with Goal-directed ASP.. ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Improving adherence to heart failure management guidelines via abductive reasoning., , , , , , , und . Theory Pract. Log. Program., 17 (5-6): 764-779 (2017)Counterfactual Explanation Generation with s(CASP)., , , , und . CoRR, (2023)