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

Tabling with Sound Answer Subsumption., , , und . Theory Pract. Log. Program., 16 (5-6): 933-949 (2016)From PRISM to ProbLog and Back Again., und . PLP@ILP, Volume 1916 von CEUR Workshop Proceedings, Seite 26-40. CEUR-WS.org, (2017)Disjunctive Delimited Control., und . LOPSTR, Volume 13290 von Lecture Notes in Computer Science, Seite 75-91. Springer, (2021)Fixing non-determinism., , und . IFL, Seite 5:1-5:12. ACM, (2015)Tabling as a Library with Delimited Control., , , und . IJCAI, Seite 4145-4149. IJCAI/AAAI Press, (2016)Declarative Pearl: Rigged Contracts., und . FLOPS, Volume 14659 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2024)PλωNK: functional probabilistic NetKAT., und . Proc. ACM Program. Lang., 4 (POPL): 39:1-39:27 (2020)Forward- or reverse-mode automatic differentiation: What's the difference?, , , und . Sci. Comput. Program., (Januar 2024)The Functional Perspective on Advanced Logic Programming.. ICLP (Technical Communications), Volume 52 von OASIcs, Seite 20:1-20:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)