IJCAI最佳论文重磅出炉!中国人论文占46%,华人一作近2/3( 七 )


突出论文奖:

冲突驱动型答案集问题的解决:从理论到现实

作者:Martin Gebser , Benjamin Kaufmann, Torsten Schaub


答案集编程(ASP)为一系列组合问题的表达提供了一种强力、简洁的语言。本文介绍了一种面向计算逻辑程序答案集的新方法,这些答案集成功应用于可满足性检测的应用上。该方法通过ASP求解器CLASP实施,目前已经在数次竞赛中获胜,同时扩展了能够以答案集编程方法实施有效建模和解决的范围。


IJCAI最佳论文重磅出炉!中国人论文占46%,华人一作近2/3