( 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

The DLVHEX System., , , , , , and . Künstliche Intell., 32 (2-3): 187-189 (2018)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)Integrating Answer Set Programming with Object-Oriented Languages., and . PADL, volume 10137 of Lecture Notes in Computer Science, page 50-67. Springer, (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)Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access., , , and . J. Artif. Intell. Res., (2018)Domain expansion for ASP-programs with external sources., , , and . Artif. Intell., (2016)Exploiting Unfounded Sets for HEX-Program Evaluation., , , , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 160-175. Springer, (2012)