( 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

Karl Redl

Michael Redl

Franz Xaver 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)VCWC: A Versioning Competition Workflow Compiler., , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 233-238. Springer, (2013)Conflict-driven ASP Solving with External Sources and Program Splits.. IJCAI, page 1239-1246. ijcai.org, (2017)Efficient HEX-Program Evaluation Based on Unfounded Sets., , , , and . J. Artif. Intell. Res., (2014)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., , , and . J. Artif. Intell. Res., (2018)ActHEX: Implementing HEX Programs with Action Atoms., , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 317-322. Springer, (2013)Exploiting Unfounded Sets for HEX-Program Evaluation., , , , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 160-175. Springer, (2012)Domain expansion for ASP-programs with external sources., , , and . Artif. Intell., (2016)