Autor der Publikation

Splitting Epistemic Logic Programs.

, , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 120-133. Springer, (2019)

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

New Insights on the Intuitionistic Interpretation of Default Logic., und . ECAI, Seite 798-802. IOS Press, (2004)An Algebra of Causal Chains., und . CoRR, (2013)Minimal Logic Programs., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 104-118. Springer, (2007)Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles., , , , und . CoRR, (2019)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)STeLP - A Tool for Temporal Answer Set Programming., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 370-375. Springer, (2011)Automatic Induction of DEVS Structures., , und . EUROCAST, Volume 1030 von Lecture Notes in Computer Science, Seite 305-313. Springer, (1995)Temporal Equilibrium Logic: A First Approach., und . EUROCAST, Volume 4739 von Lecture Notes in Computer Science, Seite 241-248. Springer, (2007)Founded World Views with Autoepistemic Equilibrium Logic., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 134-147. Springer, (2019)A Complexity Assessment for Queries Involving Sufficient and Necessary Causes., , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 297-310. Springer, (2014)