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

Forgetting auxiliary atoms in forks., , , , , und . Artif. Intell., (2019)A polynomial reduction of forks into logic programs., , , , , und . Artif. Intell., (2022)Linear-Time Temporal Answer Set Programming., , , , , , und . Theory Pract. Log. Program., 23 (1): 2-56 (2023)Equilibrium graphs., , und . Ann. Math. Artif. Intell., 86 (1-3): 3-19 (2019)Explainable Machine Larning for liver transplantation., , , und . CoRR, (2021)A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation., , , , , und . ICLP Technical Communications, Volume 306 von EPTCS, Seite 266-272. (2019)Explicit Negation in Linear-Dynamic Equilibrium Logic., , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 569-576. IOS Press, (2020)Syntactic ASP Forgetting with Forks., , , , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2022)Temporal Answer Set Programming., , , , , , und . CoRR, (2020)Forgetting Auxiliary Atoms in Forks (Extended Abstract)., , , , , und . IJCAI, Seite 5005-5009. ijcai.org, (2020)Journal track.