Autor der Publikation

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

, , , und . Theory Pract. Log. Program., 18 (3-4): 390-405 (2018)

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

haspie - A Musical Harmonisation Tool Based on ASP., und . EPIA, Volume 10423 von Lecture Notes in Computer Science, Seite 637-642. Springer, (2017)Autoepistemic answer set programming., , und . Artif. Intell., (2020)PAL: Pertinence Action Language, , und . CoRR, (2000)Alternative Characterizations for Strong Equivalence of Logic Programs. CoRR, (2002)Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)., , , und . Dagstuhl Reports, 11 (11): 1-55 (2021)An Algebra of Causal Chains., und . CoRR, (2013)New Insights on the Intuitionistic Interpretation of Default Logic., und . ECAI, Seite 798-802. IOS Press, (2004)Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles., , , , und . CoRR, (2019)STeLP - A Tool for Temporal Answer Set Programming., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 370-375. Springer, (2011)Explaining Preferences and Preferring Explanations., und . Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Volume 9060 von Lecture Notes in Computer Science, Seite 218-232. Springer, (2015)