ASP-Based Problem Solving with Cutting-Edge Tools
暂无分享,去创建一个
[1] Martin Gebser,et al. Engineering an Incremental ASP Solver , 2008, ICLP.
[2] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[3] Marcello Balduccini,et al. A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs , .
[4] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[5] Marcello Balduccini,et al. Representing Constraint Satisfaction Problems in Answer Set Programming , 2022 .
[6] Giovambattista Ianni,et al. The Answer Set Programming Competition , 2012, AI Mag..
[7] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.