( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient HEX-Program Evaluation Based on Unfounded Sets.

, , , , и . J. Artif. Intell. Res., (2014)

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.

Gerhard Redl

Michael Redl

Karl Redl

Adolf Redl

Franz Xaver Redl

 

Другие публикации лиц с тем же именем

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