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

Syntactic ASP forgetting with forks., , , , , und . Artif. Intell., (Januar 2024)Revisiting Explicit Negation in Answer Set Programming., , , , , und . Theory Pract. Log. Program., 19 (5-6): 908-924 (2019)Computing epistasis through Walsh transforms., , und . SIGSAM Bull., 33 (3): 16-17 (1999)An infinitary encoding of temporal equilibrium logic., , und . Theory Pract. Log. Program., 15 (4-5): 666-680 (2015)Computing Epistasis of Template Functions Through Walsh Transforms., , und . Comput. Artif. Intell., 24 (3): 263-279 (2005)Temporal Answer Set Programming., , , , , , und . CoRR, (2020)Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs., , , und . Algorithms, 15 (6): 201 (2022)Forgetting Auxiliary Atoms in Forks (Extended Abstract)., , , , , und . IJCAI, Seite 5005-5009. ijcai.org, (2020)Journal track.Deception, order and epistasis., , und . GEM, Seite 284-289. CSREA Press, (2008)Explicit Negation in Linear-Dynamic Equilibrium Logic., , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 569-576. IOS Press, (2020)