( en | de | ru )

 

Disambiguation of "Redl, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Inlining External Sources in Answer Set Programs.

. Theory Pract. Log. Program., 19 (3): 360-411 (2019)

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

Stephanie Veronika Redl

 

Other publications of authors with the same name

Explaining Inconsistency in Answer Set Programs and Extensions.. LPNMR, volume 10377 of Lecture Notes in Computer Science, page 176-190. Springer, (2017)The DLVHEX System., , , , , , and . Künstliche Intell., 32 (2-3): 187-189 (2018)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)Efficient HEX-Program Evaluation Based on Unfounded Sets., , , , and . J. Artif. Intell. Res., (2014)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)