( en | de | ru )

 

Disambiguation of "Redl, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
VCWC: A Versioning Competition Workflow Compiler.

, , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 233-238. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Redl

Adolf Redl

Michael Redl

Karl Redl

Franz Xaver Redl

 

Other publications of authors with the same name

Efficient HEX-Program Evaluation Based on Unfounded Sets., , , , and . J. Artif. Intell. Res., (2014)Exploiting Unfounded Sets for HEX-Program Evaluation., , , , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 160-175. Springer, (2012)ActHEX: Implementing HEX Programs with Action Atoms., , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 317-322. Springer, (2013)On Equivalence and Inconsistency of Answer Set Programs with External Sources.. AAAI, page 1229-1235. AAAI Press, (2017)AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases., , , , , and . PAI@AI*IA, volume 1107 of CEUR Workshop Proceedings, page 29-35. CEUR-WS.org, (2013)Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets., , , and . GRID, page 85-94. IEEE Computer Society, (2012)Integrating Answer Set Programming with Object-Oriented Languages., and . PADL, volume 10137 of Lecture Notes in Computer Science, page 50-67. Springer, (2017)Explaining Inconsistency in Answer Set Programs and Extensions.. LPNMR, volume 10377 of Lecture Notes in Computer Science, page 176-190. Springer, (2017)Conflict-driven ASP Solving with External Sources and Program Splits.. IJCAI, page 1239-1246. ijcai.org, (2017)VCWC: A Versioning Competition Workflow Compiler., , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 233-238. Springer, (2013)