( en | de | ru )

 

Disambiguierung von "Redl, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting Support Sets for Answer Set Programs with External Evaluations.

, , , und . AAAI, Seite 1041-1048. AAAI Press, (2014)

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

Stephanie Veronika Redl

 

Weitere Publikationen von Autoren mit dem selben Namen

VCWC: A Versioning Competition Workflow Compiler., , , , , , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 233-238. Springer, (2013)Conflict-driven ASP Solving with External Sources and Program Splits.. IJCAI, Seite 1239-1246. ijcai.org, (2017)Explaining Inconsistency in Answer Set Programs and Extensions.. LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 176-190. Springer, (2017)The DLVHEX System., , , , , , und . Künstliche Intell., 32 (2-3): 187-189 (2018)Integrating Answer Set Programming with Object-Oriented Languages., und . PADL, Volume 10137 von Lecture Notes in Computer Science, Seite 50-67. Springer, (2017)Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets., , , und . GRID, Seite 85-94. IEEE Computer Society, (2012)AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases., , , , , und . PAI@AI*IA, Volume 1107 von CEUR Workshop Proceedings, Seite 29-35. CEUR-WS.org, (2013)Efficient HEX-Program Evaluation Based on Unfounded Sets., , , , und . J. Artif. Intell. Res., (2014)Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access., , , und . J. Artif. Intell. Res., (2018)Domain expansion for ASP-programs with external sources., , , und . Artif. Intell., (2016)