( en | de | ru )

 

Disambiguierung von "Redl, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
hex-Programs with Existential Quantification.

, , , und . KDPD, Volume 8439 von Lecture Notes in Computer Science, Seite 99-117. Springer, (2013)

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.

Gerhard Redl

Adolf Redl

Karl Redl

Michael Redl

Franz Xaver Redl

 

Weitere Publikationen von Autoren mit dem selben Namen

The DLVHEX System., , , , , , und . Künstliche Intell., 32 (2-3): 187-189 (2018)Explaining Inconsistency in Answer Set Programs and Extensions.. LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 176-190. Springer, (2017)Conflict-driven ASP Solving with External Sources and Program Splits.. IJCAI, Seite 1239-1246. ijcai.org, (2017)VCWC: A Versioning Competition Workflow Compiler., , , , , , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 233-238. Springer, (2013)Domain expansion for ASP-programs with external sources., , , und . Artif. Intell., (2016)Efficient HEX-Program Evaluation Based on Unfounded Sets., , , , und . J. Artif. Intell. Res., (2014)On Equivalence and Inconsistency of Answer Set Programs with External Sources.. AAAI, Seite 1229-1235. AAAI Press, (2017)Inlining External Sources in Answer Set Programs.. Theory Pract. Log. Program., 19 (3): 360-411 (2019)Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access., , , und . J. Artif. Intell. Res., (2018)Exploiting Unfounded Sets for HEX-Program Evaluation., , , , und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 160-175. Springer, (2012)